summaryrefslogtreecommitdiff
path: root/doc/makefile
AgeCommit message (Expand)Author
2022-02-01doc/makefile: restore indentationjao
2022-01-31Make info files as wellCase Duckworth
2021-04-04makefiles (and lack thereof)jao
2020-07-19scheme and autotools removalsjao