Age | Commit message (Collapse) | 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 | |