Commit 74580967664bea6ca71514afdbc41b4e9d3e7ca5
2022-03-02T18:45:39
Rework documentation build system Since several generated files are under version control, their timestamps are essentially random and rebuilding documentation using Makefile rules can't work reliably. Simply add a phony rebuild target that regenerates the whole documentation and other files unconditionally. make -C doc rebuild