diff options
author | Norbert Preining <norbert@preining.info> | 2020-12-24 03:01:00 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-12-24 03:01:00 +0000 |
commit | 8d92194a9263ebe948f6518d273b641bc75b9692 (patch) | |
tree | 4177040c86fc56c0d0b590bb152cab0418f2312c /fonts/oldstandard/doc/gendocs.sh | |
parent | 6fb328049faa528f5ee3bd6aadb19902dccc32e1 (diff) |
CTAN sync 202012240301
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 |