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