--- a/docsrc2man.sh +++ b/docsrc2man.sh @@ -55,7 +55,6 @@ function man_gz () { if [ $PRINT_DEPS -eq 0 ]; then rm "$DOCSRC"/$1/*~ 2>/dev/null - gzip -f man/$1/*.[0-9] fi } @@ -78,9 +77,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 - | col -xbp > "doc/$LANGUAGE/$(basename "$i" ".gz").txt" + cat "$i" | preconv | nroff -man - | col -xbp > "doc/$LANGUAGE/$(basename "$i").txt" echo " done" done