| | 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 | |