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
..
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-16 17:27:55 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-03-30 23:58:16 +02:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00
2022-02-13 01:08:52 +01:00