]> arthur.barton.de Git - pdfman.git/commitdiff
Fix handling of compressed manual pages
authorAlexander Barton <alex@barton.de>
Fri, 30 Jun 2023 12:39:30 +0000 (14:39 +0200)
committerAlexander Barton <alex@barton.de>
Fri, 30 Jun 2023 12:39:30 +0000 (14:39 +0200)
pdfman

diff --git a/pdfman b/pdfman
index 5d8bdd59d218ef6c92c9022d21fd9646e80c5a39..b0c7a57d7aa31a04869d93d66962c064f721f514 100755 (executable)
--- a/pdfman
+++ b/pdfman
@@ -83,7 +83,7 @@ mkdir -p "$CACHE"
 # Handle arguments, manual page name(s) ...
 # shellcheck disable=SC2312
 man -w "$@" | while read -r MANFILE; do
-       MANPAGE=$(basename "$MANFILE" | sed -e 's/\.gz\$//g')
+       MANPAGE=$(basename "$MANFILE" | sed -e 's/\.gz$//g')
        NAME=${MANPAGE%.*}
        SECTION=${MANPAGE##*.}
        PDF=$CACHE/$SECTION/$NAME.$SECTION.pdf