Blame doc/it/compila_smallprint.sh
|
Packit Service |
f629e6 |
#!/bin/bash
|
|
Packit Service |
f629e6 |
|
|
Packit Service |
f629e6 |
# eventuali file di lavoro da elaborazioni precedenti
|
|
Packit Service |
f629e6 |
rm -f gawk-it-17x24.pdf gawk-it.toc gawk-it.aux gawk-it.cp gawk-it.texi 2>/dev/null
|
|
Packit Service |
f629e6 |
|
|
Packit Service |
f629e6 |
sed '{
|
|
Packit Service |
f629e6 |
s/@example/@smallexample/g
|
|
Packit Service |
f629e6 |
s/@end example/@end smallexample/g
|
|
Packit Service |
f629e6 |
}' gawktexi.in > gawktexi-tmp.in
|
|
Packit Service |
f629e6 |
|
|
Packit Service |
f629e6 |
awk -f sidebar.awk < gawktexi-tmp.in > gawk-it.texi
|
|
Packit Service |
f629e6 |
|
|
Packit Service |
f629e6 |
texi2dvi -t "@set SMALLPRINT" -t "@set FOR_PRINT" -t @manuale -t "@include margini.texi" gawk-it.texi -o gawk-it-17x24.dvi
|
|
Packit Service |
f629e6 |
|
|
Packit Service |
f629e6 |
dvipdfmx --dvipdfm -p 170mm,240mm gawk-it-17x24.dvi
|
|
Packit Service |
f629e6 |
|
|
Packit Service |
f629e6 |
awk -f sidebar.awk < gawktexi.in > gawk-it.texi
|
|
Packit Service |
f629e6 |
|
|
Packit Service |
f629e6 |
rm gawktexi-tmp.in
|