summaryrefslogtreecommitdiff
path: root/doc/makefile
AgeCommit message (Expand)Author
2023-10-05css: don't copy CSS over and overjao
2022-06-16--no-code-files for web generationjao
2022-06-09doc: Replace texi2html with makeinfo to generate HTML doc.Maxim Cournoyer
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