blob: fb9af4db878675e58932f2f58a72dc9c323aa6a5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#!/bin/awk -f
BEGIN {n=0;m=0
}
{
a[n] = $0;
n=n+1;
j=split($0,b,"{");
if ( j>= 2)
m=m+substr(b[j],1,length(b[j])-1);
}
END {
if (case==1)
printf ("\\begin{page}{staticsearchpage}{No matches found}\n")
else if ( n==0 || m==0 )
printf ("\\begin{page}{staticsearchpage}{No matches found for {\\em %s}}\n",expr)
else
printf ("\\begin{page}{staticsearchpage}{%d matches found in %d pages for {\\em %s}}\n",m,n,expr);
printf ("Matches\\tab{8}in Page\n");
printf "\\beginscroll\n";
printf "\\beginmenu\n";
for(i=0;i<n;i++) printf ("%s\n",a[i]);
printf "\\endmenu\n";
printf "\\endscroll\n";
printf "\\end{page}\n";
}
|