doc: Error out properly when a generator fails
authorFrank Terbeck <ft@grml.org>
Tue, 8 Feb 2022 19:50:52 +0000 (20:50 +0100)
committerFrank Terbeck <ft@grml.org>
Tue, 8 Feb 2022 19:58:56 +0000 (20:58 +0100)
commit4a3593bce8a535dd6daa7d35267d2dbe04a7a291
treee3a413bf1332a9d1d069ae318030b09f9c90575d
parent08c2f2e5ffd7f612d6c7a02de832d1293bffefbf
doc: Error out properly when a generator fails

In make only timestamps and return values matter. And the shell will create a
file and update its timestamp when it sees an output redirection. No matter if
the program driving the redirected data fails or not.

So even if the first generator run fails, rerunning make will work, with things
looking like they worked out just fine.

This fixes the issue by running the separate steps toward file generation one
by one.

This issue was brought up by Edward E. (cbrt64 on github) in PR#135 on github¹,
including a proof-of-concept implementation, as well as valuable feedback. This
implementation was derived from it. See the pull-request log for details.

¹ https://github.com/grml/grml-etc-core/pull/135
doc/Makefile