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
/home/gen.uk/domains/wiki.gen.uk/public_html/data/pages/convert_linux_man_pages_text_html.txt · Last modified: 2019/03/21 11:24 by genadmin