blob: 8b2f2ce7f5512d3e2c91a0e02a69e42c6c8d43d9 (
plain)
1
2
3
4
5
|
name dviout.win32
category TLCore
binpattern d/win32 tlpkg/dviout
binpattern f bin/win32/dviout.bat
postaction shortcut type=menu name="DVIOUT Dvi Viewer" cmd=TEXDIR/bin/win32/dviout.bat hide=1
|