File: compila_smallprint.sh

package info (click to toggle)
gawk 1%3A4.2.1%2Bdfsg-1
  • links: PTS
  • area: main
  • in suites: buster
  • size: 20,880 kB
  • sloc: ansic: 50,919; awk: 12,043; yacc: 6,393; sh: 5,675; makefile: 2,856; sed: 128; csh: 6
file content (19 lines) | stat: -rwxr-xr-x 563 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
#!/bin/bash

# eventuali file di lavoro da elaborazioni precedenti
rm -f gawk-it-17x24.pdf gawk-it.toc gawk-it.aux gawk-it.cp gawk-it.texi 2>/dev/null
	
sed '{
   s/@example/@smallexample/g
   s/@end example/@end smallexample/g
  }' gawktexi.in > gawktexi-tmp.in

awk -f sidebar.awk < gawktexi-tmp.in > gawk-it.texi

texi2dvi -t "@set SMALLPRINT" -t "@set FOR_PRINT" -t @manuale -t "@include margini.texi" gawk-it.texi -o gawk-it-17x24.dvi

dvipdfmx --dvipdfm -p 170mm,240mm  gawk-it-17x24.dvi

awk -f sidebar.awk < gawktexi.in > gawk-it.texi

rm gawktexi-tmp.in