6 Jun
2018
6 Jun
'18
6:05 a.m.
On Wed, 2018-06-06 at 11:54 +0200, Peter Krempa wrote:
Well, so we need to be able to run configure so that we can create makefiles which build the docs.
If we extract the steps to build the docs from makefile into a standalone script called by the makefile we still can build the web without the need to configure everything.
Doing containers and stuff seems to be quite a waste just to process some html files.
We also need to be able to run 'make dist' in order to produce nightly snapshots. Whether those are actually useful to anyone in $currentyear is of course up for debate, but as long as we need to produce them then we can't really get away with a standalone script. -- Andrea Bolognani / Red Hat / Virtualization