diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/othello/ot.bat')
| -rw-r--r-- | Master/texmf-dist/source/latex/othello/ot.bat | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/Master/texmf-dist/source/latex/othello/ot.bat b/Master/texmf-dist/source/latex/othello/ot.bat deleted file mode 100644 index f6529948305..00000000000 --- a/Master/texmf-dist/source/latex/othello/ot.bat +++ /dev/null @@ -1,19 +0,0 @@ -mf286 &plain \mode=hplaser; input ot1bla15
-
-gftopk ot1bla15.300
-
-mf286 &plain \mode=hplaser; input ot2bla15
-
-gftopk ot2bla15.300
-
-mf286 &plain \mode=hplaser; input ot1whi15
-
-gftopk ot1whi15.300
-
-mf286 &plain \mode=hplaser; input ot2whi15
-
-gftopk ot2whi15.300
-
-mf286 &plain \mode=hplaser; input ot15
-
-gftopk ot15.300
|