diff options
author | dos-reis <gdr@axiomatics.org> | 2010-08-18 02:10:23 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-08-18 02:10:23 +0000 |
commit | df8254a5fa36257630ddb9d8a9de5ac2980d6ab4 (patch) | |
tree | f981499f5b7a7464bbec248edacc3404dc5c6449 /src/hyper/presea.in | |
parent | 839da713d2c9b1370190085080d1ecbfdcfcb223 (diff) | |
download | open-axiom-df8254a5fa36257630ddb9d8a9de5ac2980d6ab4.tar.gz |
r13983@gauss (orig r1241): gdr | 2009-07-22 15:41:19 -0500
Create jap-sandbox.
r14019@gauss (orig r1258): alfredoport | 2009-08-18 19:48:31 -0500
Sync with trunk
r14021@gauss (orig r1260): alfredoport | 2009-08-19 19:09:52 -0500
Update branch pre-merge
r14960@gauss (orig r1681): alfredoport | 2010-07-12 20:43:04 -0500
Add some string manipulation functions and documentation
r14982@gauss (orig r1697): alfredoport | 2010-07-23 20:12:44 -0500
Sync with trunk
r14994@gauss (orig r1709): gdr | 2010-07-25 21:25:44 -0500
* src/lib/cfuns-c.c (oa_strcat): Document and tidy.
r15021@gauss (orig r1733): alfredoport | 2010-08-01 19:25:18 -0500
Sync with trunk
r15022@gauss (orig r1734): alfredoport | 2010-08-03 23:35:18 -0500
Solve compiling issues
r15054@gauss (orig r1759): alfredoport | 2010-08-16 19:39:10 -0500
Sync with trunk
r15056@gauss (orig r1761): gdr | 2010-08-17 19:11:08 -0500
Regenerate configure without presea
r15057@gauss (orig r1762): gdr | 2010-08-17 19:13:17 -0500
Link htserach with a C++ linker.
r15058@gauss (orig r1763): gdr | 2010-08-17 20:24:17 -0500
Massage htsearch.
r15059@gauss (orig r1764): gdr | 2010-08-17 20:51:59 -0500
* hyper/htsearch.cc: Rename from htsearch.c to avoid confusions.
r15060@gauss (orig r1765): gdr | 2010-08-17 21:04:12 -0500
* config/open-axiom.m4 (OPENAXIOM_HOST_PROGS): Don't check for awk
anymore.
Diffstat (limited to 'src/hyper/presea.in')
-rwxr-xr-x | src/hyper/presea.in | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/src/hyper/presea.in b/src/hyper/presea.in deleted file mode 100755 index 788a28b6..00000000 --- a/src/hyper/presea.in +++ /dev/null @@ -1,28 +0,0 @@ -#!@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[2],1,length(b[2])-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"; -} - |