X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=command_util.sh;h=5119f58bc7f264aff2cd17f965bb1e2cfd1cbf47;hp=d6626c253057675cceedb689d82957d607911a20;hb=c60d17e2f5f4dd3addaf2af83abad99b460f8ad6;hpb=69cff98e276fb86f92b6ed06affb1e49083304f9 diff --git a/command_util.sh b/command_util.sh index d6626c25..5119f58b 100755 --- a/command_util.sh +++ b/command_util.sh @@ -150,7 +150,6 @@ dump_man() com_man() { - local n echo "[$section_name]" echo while : ; do @@ -161,10 +160,7 @@ com_man() if test $ret -eq 0; then break fi - dump_man #> $txtdir/$n.txt -# txt2man -t "$n" -r "$r" < $txtdir/$n.txt \ -# | sed -e 1d > $mandir/$n.1 -# man2html $mandir/$n.1 > $htmldir/$n.html + dump_man done }