summaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)AuthorFilesLines
2019-06-05Change: build and publish HTML versions of documentsLars Wirzenius1-3/+9
2019-06-04Add: "make publish"Lars Wirzenius1-1/+5
2019-06-03Add: Makefile to format all documentsLars Wirzenius1-0/+6