]> git.tue.mpg.de Git - paraslash.git/commitdiff
simplify com_man() of command_util.sh
authorAndre <maan@meins.(none)>
Sat, 27 Jan 2007 10:33:08 +0000 (11:33 +0100)
committerAndre <maan@meins.(none)>
Sat, 27 Jan 2007 10:33:08 +0000 (11:33 +0100)
command_util.sh

index d6626c253057675cceedb689d82957d607911a20..5119f58bc7f264aff2cd17f965bb1e2cfd1cbf47 100755 (executable)
@@ -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
 }