diff options
| author | Pádraig Brady <P@draigBrady.com> | 2025-12-09 17:07:13 +0000 |
|---|---|---|
| committer | Pádraig Brady <P@draigBrady.com> | 2025-12-10 16:02:30 +0000 |
| commit | f01195cf98ce879e98b276fc34c65ccb252b3df3 (patch) | |
| tree | a94c16106a0a910c8f5c23733be03aa3c5e7d2d9 /scripts/git-hooks | |
| parent | 828073db6be72373999a21cbb3b24fb2b0ea0f08 (diff) | |
| download | coreutils-f01195cf98ce879e98b276fc34c65ccb252b3df3.tar.gz coreutils-f01195cf98ce879e98b276fc34c65ccb252b3df3.zip | |
doc: support html post processing in all cases
Previously the html-local make rule only worked for `make html`.
Instead add support for `make doc/coreutils.html` or `make web-manual`
through the use of a makeinfo wrapper.
* doc/local.mk: Move post processing from here to ...
* build-aux/makeinfo-wrapper.sh: ... here.
* cfg.mk: Ensure our wrapper is called with MAKEINFO.
Also pass --no-node-files so redirection html files
are not created for each anchor.
Diffstat (limited to 'scripts/git-hooks')
0 files changed, 0 insertions, 0 deletions