diff options
Diffstat (limited to 'Master/texmf-dist/doc/metapost/epsincl/epsincl.bat')
-rwxr-xr-x | Master/texmf-dist/doc/metapost/epsincl/epsincl.bat | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/metapost/epsincl/epsincl.bat b/Master/texmf-dist/doc/metapost/epsincl/epsincl.bat new file mode 100755 index 00000000000..fd56369f7f4 --- /dev/null +++ b/Master/texmf-dist/doc/metapost/epsincl/epsincl.bat @@ -0,0 +1,11 @@ +:: made in BOP s.c., bop@bop.com.pl; public domain software +:: history: 20.08.1999: ver. 0.1, pre-release +:: 05.01.2000: ver. 0.2, first release +@echo off +if "%2"=="" goto USAGE +gawk -f epsincl.awk %1 > %2 +goto DONE +:USAGE +echo USAGE: +echo epsincl inputfile outputfile +:DONE |