diff options
author | Felix Singer <felixsinger@posteo.net> | 2023-08-25 15:40:25 +0000 |
---|---|---|
committer | Felix Singer <service+coreboot-gerrit@felixsinger.de> | 2023-09-21 21:33:36 +0000 |
commit | 60be9fe7cad1b22efc0a166cd52c29dd1dd799d6 (patch) | |
tree | ed083ae0dc1e09ac7ca9a0d49cedeea51b5583b0 /util/lint/helper_functions.sh | |
parent | f697fe071aaa8d5e34b726416c5a6e1e6e2991e8 (diff) |
Documentation: Remove unused build targets
The options in conf.py for the following build targets are either
commented out or contain example values, which suggests that there was
no interest in them recently. Their comments also seem more like
generated examples.
* LaTeX
* man pages
* Texinfo
In order to clean up our configs and scripts for the documentation,
remove the configuration options from conf.py for these build targets.
Also, remove the build targets responsible for generating a PDF file
from Makefile. Don't touch Makefile.sphinx for now though as we usually
wrap around it.
We may bring these build targets back if there is real interest in
them, but it seems only the HTML target was really used.
Change-Id: I7df8ea886f94d9b25e8eeb0ccbc2a7392b96a575
Signed-off-by: Felix Singer <felixsinger@posteo.net>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/77439
Reviewed-by: Martin L Roth <gaumless@gmail.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'util/lint/helper_functions.sh')
0 files changed, 0 insertions, 0 deletions