python3 in Scripten erzwungen; locale mit try-except laden
This commit is contained in:
18
build
18
build
@ -32,5 +32,19 @@ rm gitfile-info.dtx
|
||||
mv output.dtx gitfile-info.dtx
|
||||
latexmk -pdf gitfile-info.dtx
|
||||
cd ..
|
||||
cp -r gitfile-info_latest.zip gitfile-info/gitfile-info.dtx gitfile-info/gitfile-info.ins \
|
||||
gitfile-info/README gitfile-info/gitfile-info.pdf
|
||||
mkdir -v gitfile-info_latest
|
||||
cp -v gitfile-info/gitfile-info.dtx gitfile-info_latest/
|
||||
cp -v gitfile-info/gitfile-info.ins gitfile-info_latest/
|
||||
mkdir -v gitfile-info_latest/doc/
|
||||
cp -v gitfile-info/README gitfile-info_latest/doc/
|
||||
cp -v gitfile-info/gitfile-info.pdf gitfile-info_latest/doc/
|
||||
cp -v gitfile-info/post-merge.py gitfile-info_latest/doc/
|
||||
cp -v gitfile-info/post-commit.py gitfile-info_latest/doc/
|
||||
cp -v gitfile-info/gfi-run.py gitfile-info_latest/doc/
|
||||
mv gitfile-info_latest /tmp/gitfile-info
|
||||
WD=`echo $PWD`
|
||||
cd /tmp
|
||||
zip -r gitfile-info_latest.zip gitfile-info
|
||||
mv gitfile-info_latest.zip $WD
|
||||
rm -rvf /tmp/gitfile-info
|
||||
|
||||
|
Reference in New Issue
Block a user