diff options
Diffstat (limited to 'fonts/oldstandard/doc/gendocs.sh')
-rwxr-xr-x | fonts/oldstandard/doc/gendocs.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/fonts/oldstandard/doc/gendocs.sh b/fonts/oldstandard/doc/gendocs.sh deleted file mode 100755 index 9cb47268bc..0000000000 --- a/fonts/oldstandard/doc/gendocs.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/bash - -ZIP="zip -DrX" -PACK_NAME=oldstand-manual -VERSION="2.0" - -rm -f *.toc *.aux *.out -xelatex $PACK_NAME.tex -xelatex $PACK_NAME.tex -rm -f *.zip - -$ZIP $PACK_NAME.src.zip gendocs.sh $PACK_NAME.tex *.png |