diff options
Diffstat (limited to 'dev')
| -rwxr-xr-x | dev/dist.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/dev/dist.sh b/dev/dist.sh index 870f3e2..3beceda 100755 --- a/dev/dist.sh +++ b/dev/dist.sh @@ -3,6 +3,7 @@ # USAGE: dev/dist.sh ttyponies # or dev/dist.sh pdfmanual # or dev/dist.sh tag VERSION [OTHER OPTIONS FOR `git tag`] +# or dev/dist.sh beigepdf ttyponies() @@ -47,8 +48,13 @@ pdfmanual() if [ -d "ponysay.t2d" ]; then rm -r "ponysay.t2d"; fi - pdfjam --pagecolor 249,246,240 -o "ponysay.pdf" "ponysay.pdf" - git add "manuals/ponysay.texinfo" "ponysay.pdf" + git add "manuals/ponysay.texinfo" "ponysay.pdf" +} + + +beigepdf() +{ + pdfjam --pagecolor 249,246,240 -o "ponysay+beige.pdf" "ponysay.pdf" } |