blob: dc561395802a3b17a3a0fba2f766706bebfb233f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
--- a/docsrc2man.sh 2025-12-22 22:07:24.112717422 +0100
+++ b/docsrc2man.sh 2025-12-22 22:09:45.908476195 +0100
@@ -63,7 +63,6 @@
function man_gz () {
if [ $PRINT_DEPS -eq 0 ]; then
rm "$DOCSRC"/$1/*~ 2>/dev/null
- gzip -f man/$1/*.[0-9]
fi
}
@@ -87,9 +86,9 @@
mkdir -p doc/$LANGUAGE
rm doc/$LANGUAGE/* 2>/dev/null
- for i in man/$LANGUAGE/*.gz; do
+ for i in man/$LANGUAGE/*; do
echo -ne "create doc file from man page: ($LANGUAGE) $(basename "$i")..."
- zcat "$i" | preconv | nroff -man -c | col -xbp > "doc/$LANGUAGE/$(basename "$i" ".gz").txt"
+ cat "$i" | preconv | nroff -man -c | col -xbp > "doc/$LANGUAGE/$(basename "$i").txt"
echo " done"
done
|
