diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/bin-dvi2tty.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/bin-dvi2tty.tlpsrc | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/bin-dvi2tty.tlpsrc b/Master/tlpkg/tlpsrc/bin-dvi2tty.tlpsrc new file mode 100644 index 00000000000..ddb3c91c27e --- /dev/null +++ b/Master/tlpkg/tlpsrc/bin-dvi2tty.tlpsrc @@ -0,0 +1,13 @@ +name bin-dvi2tty +category TLCore +shortdesc Produce ACSII from DVI. +longdesc A DVI driver to produce an ASCII representation of the document. +longdesc The patch file dvi2tty.patch fixes a string termination bug which +longdesc affects some systems (most notably Linux) and cleans up the +longdesc Makefile. +runpattern f texmf/doc/man/man1/dvi2tty.1 +runpattern f texmf/doc/man/man1/dvi2tty.1.html +binpattern f bin/${ARCH}/disdvi +binpattern f bin/${ARCH}/dvi2tty +binpattern f bin/win32/disdvi.exe +binpattern f bin/win32/dvi2tty.exe |