summaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Collapse)Author
2020-07-12more state machinesChristian Grothoff
2020-06-26removed exit 1 on sphinx warningsbuckE
2020-06-24un-break doc generationFlorian Dold
2020-06-24test commitbuckE
2020-06-24makefilebuckE
2020-06-24$(shell echo $HOME)buckE
2020-06-24(HOME)?buckE
2020-06-24$HOME/logsbuckE
2020-06-24using $PWD for sphinx warning logbuckE
2020-06-24no local copy of sphinx error logsbuckE
2020-06-24~ instead of full pathbuckE
2020-06-23do NOT hardcode paths like /home/docbuilder in MakefileChristian Grothoff
2020-06-19changed logfile namebuckE
2020-06-18testing e-mail reportbuckE
2020-06-18write warning messages to ~/warnings.logbuckE
2020-06-18re-add options to cause exit 1 on warningsbuckE
2020-06-18verify build failure is due to new optionbuckE
2020-06-18added -W --keep-going to provide exit 1 on sphinx warningsbuckE
2019-08-29texinfo supportFlorian Dold
2019-08-29initial rough import of other docsFlorian Dold
2017-05-31restoring old Makefile, we compile only in one placeMarcello Stanisci
2017-01-27Still on splittingMarcello Stanisci
2017-01-27Splitting BUILDIRMarcello Stanisci
2016-01-21dev docsFlorian Dold
2016-01-18commentFlorian Dold
2016-01-18Always clean state when generating HTML.Florian Dold
2016-01-18restructuring and linking extensionFlorian Dold
2014-11-20initial import of sphinx documentationChristian Grothoff