summaryrefslogtreecommitdiff
path: root/util/lint/lint-000-license-headers
diff options
context:
space:
mode:
authorFelix Singer <felixsinger@posteo.net>2023-08-25 15:40:25 +0000
committerFelix Singer <service+coreboot-gerrit@felixsinger.de>2023-09-21 21:33:36 +0000
commit60be9fe7cad1b22efc0a166cd52c29dd1dd799d6 (patch)
treeed083ae0dc1e09ac7ca9a0d49cedeea51b5583b0 /util/lint/lint-000-license-headers
parentf697fe071aaa8d5e34b726416c5a6e1e6e2991e8 (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/lint-000-license-headers')
0 files changed, 0 insertions, 0 deletions