diff options
Diffstat (limited to 'Master/texmf-dist/doc/generic/musixtex/musixdoc.bat')
-rw-r--r-- | Master/texmf-dist/doc/generic/musixtex/musixdoc.bat | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/Master/texmf-dist/doc/generic/musixtex/musixdoc.bat b/Master/texmf-dist/doc/generic/musixtex/musixdoc.bat deleted file mode 100644 index fea551442f0..00000000000 --- a/Master/texmf-dist/doc/generic/musixtex/musixdoc.bat +++ /dev/null @@ -1,16 +0,0 @@ -rem cm-ltx2e = latex2e based on cm* fonts
-del musixdoc.mx*
-call cm-ltx2e musixdoc
-if errorlevel 2 goto end
-musixflx musixdoc
-call cm-ltx2e musixdoc
-if errorlevel 2 goto end
-makeindx musixdoc.idx
-call cm-ltx2e musixdoc
-if errorlevel 2 goto end
-makeindx musixdoc.idx
-call cm-ltx2e musixdoc
-call prthplj musixdoc musixdoc.lj
-%emtexdir%\bin\dvips32 musixdoc -o musixdoc.ps -P300 -ta4
-:end
-
|