web - Website maintenance tools

Age	Commit message (Expand)	Author
2020-12-26	md.sh: title comment from nav.html is removed in embed; other small fixes	eudoxia
2020-12-13	modified log formatting; slight usage instruction stylistic change	eudoxia
2020-12-11	fixed sitemap injection behaviour, fixed reload.sh sequencing, other misc imp...	eudoxia
2020-12-11	sitemap is now statically injected at build time rather than client-side (rem...	eudoxia
2020-12-05	several reliability improvements, other slight refactors	eudoxia
2020-12-01	URL encoding now uses its own C program; removed Python dependency	eudoxia
2020-11-30	added title suffix, added footerless option	eudoxia
2020-11-22	added GPLv3 license	eudoxia
2020-11-22	initial	eudoxia