summaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
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