File: compila_originale.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 (16 lines) | stat: -rwxr-xr-x 392 bytes parent folder | download | duplicates (6) 
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