diff options
author | Karl Berry <karl@freefriends.org> | 2008-02-19 17:05:28 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-02-19 17:05:28 +0000 |
commit | cf4d2164c6ed64dccbe7d8abdd8b0c95f8509a1c (patch) | |
tree | adbb0d174b4ab3c017b085367d946ad7ba3b417b /Master/texmf-dist/scripts/shipunov/biokey2html.bat | |
parent | f95f16133feaac8dd66077e38d247937f819c815 (diff) |
new latex collection shipunov (18feb08)
git-svn-id: svn://tug.org/texlive/trunk@6680 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts/shipunov/biokey2html.bat')
-rwxr-xr-x | Master/texmf-dist/scripts/shipunov/biokey2html.bat | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Master/texmf-dist/scripts/shipunov/biokey2html.bat b/Master/texmf-dist/scripts/shipunov/biokey2html.bat new file mode 100755 index 00000000000..49534708611 --- /dev/null +++ b/Master/texmf-dist/scripts/shipunov/biokey2html.bat @@ -0,0 +1,5 @@ +@echo off +perl -w biokey2html1.pl %1 > %12 +perl -w biokey2html2.pl %12 > %1.tmp +perl -w biokey2html3.pl %1.tmp > %1.html +if exist %1.tmp del %1.tmp
\ No newline at end of file |