xgiovio/dvdisaster
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

chore: add CHANGELOG, TODO, CREDITS to dist

Browse Source
This commit is contained in:
Stéphane Lesimple
2021-01-12 21:14:56 +01:00
parent 396c73f5c8
commit fc18da7043
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
.github/workflows/make-dist.sh vendored
View File

@@ -42,7 +42,8 @@ if [ "$os" != "linux64" ]; then
find dist -type f -name "*.a" -delete find dist -type f -name "*.a" -delete
fi fi
man -t documentation/dvdisaster.en.1 | ps2pdf - dist/dvdisaster.pdf man -t documentation/dvdisaster.en.1 | ps2pdf - dist/dvdisaster.pdf
cp dvdisaster documentation/dvdisaster.*.1 documentation/user-manual/manual.pdf dist/ cp CHANGELOG TODO dvdisaster documentation/dvdisaster.*.1 documentation/user-manual/manual.pdf dist/
cp CREDITS.en dist/CREDITS
if command -v zip >/dev/null; then if command -v zip >/dev/null; then
mv dist ${archive/.zip/} mv dist ${archive/.zip/}
zip -9r $archive ${archive/.zip/} zip -9r $archive ${archive/.zip/}