blob: 06d53b930c4f750acee48c062b8bcc9f5e0f9be7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#
# builds the PDF version of the Gawk manual,
# in the current directory
#
echo "Building the pdf version of the gawk manual"
echo "in directory:"
pwd
echo "Beware, it can take a long time!"
if [ -f "gawktexi.in" ]
then
gawk -f sidebar.awk gawktexi.in >gawk.texi
fi
# just in case, drop previous Index
rm -f gawk.cps gawk.cp gawk.aux gawk.fn gawk.ky gawk.log gawk.pg
texi2pdf gawk.texi
|
