summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/bin-dvidvi.tlpsrc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/tlpsrc/bin-dvidvi.tlpsrc')
-rw-r--r--Master/tlpkg/tlpsrc/bin-dvidvi.tlpsrc11
1 files changed, 11 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/bin-dvidvi.tlpsrc b/Master/tlpkg/tlpsrc/bin-dvidvi.tlpsrc
new file mode 100644
index 00000000000..bba020a341b
--- /dev/null
+++ b/Master/tlpkg/tlpsrc/bin-dvidvi.tlpsrc
@@ -0,0 +1,11 @@
+name bin-dvidvi
+category TLCore
+shortdesc The dvidvi converter.
+longdesc The dvidvi program converts a dvi file into another dvi file,
+longdesc allowing for page selection and page layout modification.
+runpattern f texmf/doc/man/man1/dvidvi.1
+runpattern f texmf/doc/man/man1/dvidvi.1.html
+binpattern f bin/${ARCH}/dvidvi
+binpattern f bin/win32/a5bookle.bat
+binpattern f bin/win32/doubside.bat
+binpattern f bin/win32/dvidvi.exe