Age | Commit message (Expand) | Author |
---|---|---|
2020-06-19 | changed logfile name | buckE |
2020-06-18 | testing e-mail report | buckE |
2020-06-18 | write warning messages to ~/warnings.log | buckE |
2020-06-18 | re-add options to cause exit 1 on warnings | buckE |
2020-06-18 | verify build failure is due to new option | buckE |
2020-06-18 | added -W --keep-going to provide exit 1 on sphinx warnings | buckE |
2019-08-29 | texinfo support | Florian Dold |
2019-08-29 | initial rough import of other docs | Florian Dold |
2017-05-31 | restoring old Makefile, we compile only in one place | Marcello Stanisci |
2017-01-27 | Still on splitting | Marcello Stanisci |
2017-01-27 | Splitting BUILDIR | Marcello Stanisci |
2016-01-21 | dev docs | Florian Dold |
2016-01-18 | comment | Florian Dold |
2016-01-18 | Always clean state when generating HTML. | Florian Dold |
2016-01-18 | restructuring and linking extension | Florian Dold |
2014-11-20 | initial import of sphinx documentation | Christian Grothoff |