From 761c8889e9cc0d4e73f32f06290fe7d07d75d551 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 27 Oct 2008 02:31:37 +0000
Subject: * configure.ac.pamphlet: Look for path to `awk'.
Instantiate src/hyper/presea.
---
src/hyper/presea | 28 ----------------------------
src/hyper/presea.in | 28 ++++++++++++++++++++++++++++
2 files changed, 28 insertions(+), 28 deletions(-)
delete mode 100755 src/hyper/presea
create mode 100755 src/hyper/presea.in
(limited to 'src/hyper')
diff --git a/src/hyper/presea b/src/hyper/presea
deleted file mode 100755
index fb9af4db..00000000
--- a/src/hyper/presea
+++ /dev/null
@@ -1,28 +0,0 @@
-#!/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";
-}
-
diff --git a/src/hyper/presea.in b/src/hyper/presea.in
new file mode 100755
index 00000000..c8ab71c1
--- /dev/null
+++ b/src/hyper/presea.in
@@ -0,0 +1,28 @@
+#!@HOST_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";
+}
+
--
cgit v1.2.3