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