GENWiki

Premier IT Outsourcing and Support Services within the UK

User Tools

Site Tools

Problem, Formatting or Query -  Send Feedback

Was this page helpful?-10+1


convert_linux_man_pages_text_html
#!/bin/bash
rm -rf ./output/*

for i in `find ./man*`; do 
#    dname=`dirname $i`
#     fn=`basename $i`
     fn=$(basename "$i" | cut -d. -f1)
#    mkdir -p $OUT_DIR/$dname
echo $i "===" $fn
     cat $i | groff -t -e -mandoc -Tascii | col -bx > ./output/$fn.txt
#      groff -t -e -mandoc -Tascii "$1" | col -bx > ./output/$fn.txt
done
/data/webs/external/dokuwiki/data/pages/convert_linux_man_pages_text_html.txt · Last modified: 2019/03/21 11:24 by genadmin