3 Commits

Author	SHA1	Message	Date
Nick Wellnhofer	b12ff25803	Rebuild documentation	2022-08-17 11:15:40 +02:00
Nick Wellnhofer	b3fdf8a966	Rework documentation build system ... Since several generated files are under version control, their timestamps are essentially random and rebuilding documentation using Makefile dependencies can't work reliably. Simply add a phony rebuild target that regenerates the whole documentation and other files unconditionally. make -C doc rebuild	2022-03-30 23:58:16 +02:00
Nick Wellnhofer	f2cd40ff39	Add documentation in devhelp format	2022-02-13 01:08:52 +01:00