| 94 | === /bin/sh: man2dvi: command not found === |
| 95 | |
| 96 | Unfortunately, Debian does not have a package that would provide this tool. Fortuntely it is just a little shell script: |
| 97 | {{{ |
| 98 | #! /bin/sh |
| 99 | # |
| 100 | # script to format manpages to dvi |
| 101 | # Copyright (c) 1997 Tobias Begalke (tb@lst.de) |
| 102 | # |
| 103 | # Changelog: |
| 104 | # 23May06AL: - extracted from upstream man-1.6c package which can be found at |
| 105 | # http://primates.ximian.com/~flucifredi/man/ |
| 106 | # - changed: |
| 107 | # location=`man -c -w $1` |
| 108 | # to: |
| 109 | # location=`man -w $1` |
| 110 | # |
| 111 | |
| 112 | groff="groff -Tdvi -mandoc" |
| 113 | |
| 114 | if [ ! $# = 1 ]; then |
| 115 | echo "$0: usage:" |
| 116 | echo " $0 [topic] > topic.dvi" |
| 117 | exit 1 |
| 118 | fi |
| 119 | |
| 120 | location=`man -w $1` |
| 121 | |
| 122 | if [ "$location" = "" ]; then |
| 123 | exit 1 |
| 124 | fi |
| 125 | |
| 126 | case `file $location` in |
| 127 | *gzip* ) |
| 128 | zcat $location | $groff |
| 129 | ;; |
| 130 | |
| 131 | *troff* ) |
| 132 | $groff $location |
| 133 | ;; |
| 134 | esac |
| 135 | }}} |
| 136 | Save the abive in e.g. /usr/local/bin/man2dvi and make the resulting file executable. |
| 137 | |