summaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
2022-02-05Makefile: Copy HTML manual to website.Arun Isaac
2022-01-10Migrate to hand-written Makefiles.Arun Isaac