Nick Wellnhofer
7458096766
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
2022-03-29 16:24:19 +02:00
..
2022-01-16 14:32:14 +01:00
2021-05-13 15:35:21 +02:00
2005-09-11 22:04:08 +00:00
2022-02-13 23:10:00 +01:00
2022-02-13 23:10:00 +01:00
2005-09-11 22:04:08 +00:00
2019-09-30 18:05:45 +02:00
2019-09-30 18:05:45 +02:00
2006-04-28 16:30:48 +00:00
2021-05-13 15:35:21 +02:00
2019-09-30 18:05:45 +02:00
2021-05-13 15:35:21 +02:00
2019-09-30 18:05:45 +02:00
2009-08-24 17:39:07 +02:00
2019-09-30 18:05:45 +02:00
2017-09-04 15:38:47 +02:00
2021-05-13 15:35:21 +02:00
2018-03-05 17:09:43 +01:00
2021-05-13 15:35:21 +02:00
2021-05-13 15:35:21 +02:00
2021-05-13 15:35:21 +02:00
2021-05-13 15:35:21 +02:00
2006-01-05 15:29:44 +00:00
2021-05-13 15:35:21 +02:00
2021-05-13 15:35:21 +02:00
2005-09-12 13:10:09 +00:00
2019-09-30 18:05:45 +02:00
2019-09-30 18:05:45 +02:00
2009-09-10 18:23:39 +02:00
2021-05-13 15:35:21 +02:00
2019-09-30 18:05:45 +02:00
2012-10-30 10:18:49 +08:00
2021-05-13 15:35:21 +02:00
2005-09-12 13:10:09 +00:00
2019-09-30 18:05:45 +02:00
2021-05-13 15:35:21 +02:00
2021-05-13 15:35:21 +02:00
2021-05-13 15:35:21 +02:00
2016-05-23 16:04:52 +08:00
2019-09-30 18:05:45 +02:00
2021-05-13 15:35:21 +02:00
2021-05-13 15:35:21 +02:00
2021-05-13 15:35:21 +02:00
2021-05-13 15:35:21 +02:00
2014-10-13 16:40:56 +08:00
2017-09-04 15:38:47 +02:00
2005-09-12 13:10:09 +00:00
2021-05-13 15:35:21 +02:00
2019-09-30 18:05:45 +02:00
2021-05-13 15:35:21 +02:00
2019-10-30 20:14:56 +01:00
2017-09-04 15:38:47 +02:00
2012-05-23 17:10:59 +08:00
2022-01-16 14:32:14 +01:00
2022-03-29 16:24:19 +02:00
2005-09-11 22:04:08 +00:00
2005-09-14 09:04:33 +00:00
2005-09-11 22:04:08 +00:00