diff options
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | clean.do | 2 | ||||
-rw-r--r-- | print.do | 2 |
3 files changed, 4 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index daacf49..4c2acaf 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,5 @@ .redo +spiewnik-book.pdf spiewnik.pdf spiewnik.ps spiewnik.idx diff --git a/clean.do b/clean.do index 29f19da..c858077 100644 --- a/clean.do +++ b/clean.do @@ -1,2 +1,2 @@ -rm -f spiewnik.pdf spiewnik.ps spiewnik.idx spiewnik.preidx index.ms +rm -f spiewnik-book.pdf spiewnik.pdf spiewnik.ps spiewnik.idx spiewnik.preidx index.ms rm -f piosenki/.*.ms diff --git a/print.do b/print.do new file mode 100644 index 0000000..92b1c97 --- /dev/null +++ b/print.do @@ -0,0 +1,2 @@ +redo-ifchange spiewnik.pdf +pdfbook2 --paper=a4paper -s --inner-margin=100 spiewnik.pdf 1> /dev/null |