annotate lispref/permute-index @ 41158:9a106cdd6700

*** empty log message ***
author Pavel Janík <Pavel@Janik.cz>
date Fri, 16 Nov 2001 18:40:10 +0000
parents acbf83fe6df1
children c189486396ff
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
41131
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1 #!/bin/csh -f
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
2 # Generate a permuted index of all names.
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
3 # The result is a file called index.fns.
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
4
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
5 # Copyright (C) 2001 Free Software Foundation, Inc.
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
6 #
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
7 # This file is part of GNU Emacs.
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
8 #
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
9 # GNU Emacs is free software; you can redistribute it and/or modify
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
10 # it under the terms of the GNU General Public License as published by
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
11 # the Free Software Foundation; either version 2, or (at your option)
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
12 # any later version.
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
13 #
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
14 # GNU Emacs is distributed in the hope that it will be useful,
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
15 # but WITHOUT ANY WARRANTY; without even the implied warranty of
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
16 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
17 # GNU General Public License for more details.
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
18 #
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
19 # You should have received a copy of the GNU General Public License
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
20 # along with GNU Emacs; see the file COPYING. If not, write to the
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
21 # Free Software Foundation, Inc., 59 Temple Place - Suite 330,
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
22 # Boston, MA 02111-1307, USA.
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
23
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
24 # You will need to modify this for your needs.
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
25
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
26
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
27 set TEXINDEX=texindex # path to texindex command
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
28 #set EMACS=gnuemacs # your emacs command
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
29 #set TEX=tex # your tex command
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
30
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
31 set MANUAL=elisp # the base name of the manual
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
32
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
33 # goto 3
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
34
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
35 1:
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
36 echo "Extract raw index from texinfo fn index."
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
37 # Let texindex combine duplicate entries, later.
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
38 # But it wants to protect non-alphanumerics thus confusing ptx.
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
39 # Also change `\ ' to just a ` ', since texindex will fail. This is produced
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
40 # by `@findex two words' in an example environment (no doubt among others).
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
41 # delete wrapper parens
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
42 # change dots {} to dots{}
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
43 # change {-} to char form, so ptx wont ignore it.
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
44 # delete leading \entry {
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
45 # change '\ ' to ' '
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
46 # change lines with = < > since they mess up field extraction.
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
47 # separate into fields delimited by "
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
48 cat ${MANUAL}.fn | \
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
49 sed \
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
50 -e 's/(\([^)]*\))/\1/' \
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
51 -e 's/\\dots {}/(\\dots{})/' \
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
52 -e "s/{-}/{{\\tt\\char'055}}/" \
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
53 -e 's,^[^ ]* {,,' \
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
54 -e 's, },},' \
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
55 -e 's,\\ , ,g' \
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
56 -e 's/{\\tt\\char61}/=/' \
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
57 -e 's/{\\tt\\gtr}/>/' \
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
58 -e 's/{\\tt\\less}/</' \
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
59 -e 's/}{/"/g' \
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
60 | awk -F\" '{print $2, $1}' >! permuted.raw
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
61
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
62 2:
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
63 # Build break file for ptx.
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
64 cat <<EOF > permuted.break
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
65 -
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
66 :
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
67 EOF
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
68 # Build the ignore file for ptx.
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
69 # We would like to ignore "and", "or", and "for",
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
70 # but ptx ignores ignore words even if they stand alone.
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
71 cat <<EOF > permuted.ignore
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
72 the
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
73 in
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
74 to
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
75 as
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
76 a
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
77 an
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
78 of
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
79 on
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
80 them
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
81 how
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
82 from
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
83 by
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
84 EOF
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
85
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
86 echo "Make troff permuted index."
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
87 ptx -i permuted.ignore -b permuted.break -f -r -w 144 \
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
88 < permuted.raw >! permuted.t
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
89
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
90 3:
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
91 echo "Extract the desired fields."
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
92 awk -F\" '{printf "%s\"%s\"%s\n", $4,$6,$9}' permuted.t >! permuted.fields
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
93
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
94 4:
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
95 echo "Format for texindex."
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
96 # delete lines that start with "and ", "for "
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
97 sed < permuted.fields \
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
98 -e 's/=/{\\tt\\char61}/' \
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
99 -e 's/>/{\\tt\\gtr}/' \
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
100 -e 's/</{\\tt\\less}/' \
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
101 -e '/"and /d' \
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
102 -e '/"for /d' \
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
103 | awk -F\" 'NF>0 {if ($1=="") {\
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
104 print "\entry {" $2 "}{" 0+$3 "}{" $2 "}" }\
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
105 else {\
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
106 print "\entry {" $2 ", " $1 "}{" 0+$3 "}{" $2 ", " $1 "}"} }'\
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
107 > permuted.fn
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
108
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
109 5:
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
110 echo "Sort with texindex."
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
111 ${TEXINDEX} permuted.fn
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
112 #mv permuted.fns ${MANUAL}.fns
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
113
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
114 # The resulting permuted.fns will be read when we run TeX
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
115 # on the manual the second time. Or you can use permuted.texinfo here.
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
116 #${TEX} permuted.texinfo
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
117
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
118 6:
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
119 echo "Clean up."
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
120 rm -f permuted.fields permuted.t permuted.raw
acbf83fe6df1 New file.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
121 rm -f permuted.break permuted.ignore permuted.fn