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