blob: 38dfa93903d34f6cc84b08a56aafe70b282251b7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
# Helpfull printers to produce the documentation in various forms
Options: -2Z
Printer: printer-doc\
| gzip -c > $d/doc-$N.ps.gz
UserOption: make-doc -2ZPprinter-doc
Printer: printer-book\
| psbook | psnup -2 | psset -nt | gzip -c > $d/book-$N.ps.gz
UserOption: make-book -1Pprinter-book
Printer: printer-cover\
| psselect 2,1 | psnup -2 | gzip -c > $d/cover-$N.ps.gz
UserOption: make-cover -1Pprinter-cover -a1,2
|
