diff options
author | Alejandro Colomar <alx@kernel.org> | 2023-11-22 16:20:32 +0100 |
---|---|---|
committer | Alejandro Colomar <alx@kernel.org> | 2023-11-22 16:25:43 +0100 |
commit | aeae96f6ff55cfc95b2957957cf08f5fc9feb8f0 (patch) | |
tree | 9f2866dfdba8b195eafa0b2a5112096501295f1a | |
parent | 8f060d724e962867ed6b57a8408f3a42fc3661bd (diff) |
scripts/LinuxManBook/build_linux_man_book.sh: Simplify groff(1) call
We're suppressing formatted device-independent output of troff(1),
so it doesn't make sense to pass an option to gropdf(1) with -P.
We don't need the fonts either. We don't even need groff(1), since
we're only using troff(1).
Redirect to /dev/null, instead of using -z. It's more explicit.
Signed-off-by: Alejandro Colomar <alx@kernel.org>
-rwxr-xr-x | scripts/LinuxManBook/build_linux_man_book.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/LinuxManBook/build_linux_man_book.sh b/scripts/LinuxManBook/build_linux_man_book.sh index dfd25b0d9..f98e0ba5b 100755 --- a/scripts/LinuxManBook/build_linux_man_book.sh +++ b/scripts/LinuxManBook/build_linux_man_book.sh @@ -8,9 +8,9 @@ | preconv \ | tbl \ | eqn -Tpdf \ - | groff -z -dPDF.EXPORT=1 -dLABEL.REFS=1 -dpaper=a4 -Tpdf \ - -M"$(dirname "$0")" -mandoc -manmark \ - -F"$(dirname "$0")" -P-pa4 -rC1 -rCHECKSTYLE=3 2>&1 \ + | troff -Tpdf -dPDF.EXPORT=1 -dLABEL.REFS=1 -dpaper=a4 \ + -M"$(dirname "$0")" -mandoc -manmark -rC1 -rCHECKSTYLE=3 \ + 2>&1 >/dev/null \ | LC_ALL=C grep '^\. *ds '; "$(dirname "$0")"/prepare_linux_man_book.pl "$1"; |