36 |
echo "Extract raw index from texinfo fn index." |
echo "Extract raw index from texinfo fn index." |
37 |
# Let texindex combine duplicate entries, later. |
# Let texindex combine duplicate entries, later. |
38 |
# But it wants to protect non-alphanumerics thus confusing ptx. |
# But it wants to protect non-alphanumerics thus confusing ptx. |
39 |
# Also change `\ ' to just a ` ', since texindex will fail. This is produced |
# Also change `\ ' to just a ` ', since texindex will fail. This is produced |
40 |
# by `@findex two words' in an example environment (no doubt among others). |
# by `@findex two words' in an example environment (no doubt among others). |
41 |
# delete wrapper parens |
# delete wrapper parens |
42 |
# change dots {} to dots{} |
# change dots {} to dots{} |
114 |
${TEXINDEX} permuted.fn |
${TEXINDEX} permuted.fn |
115 |
#mv permuted.fns ${MANUAL}.fns |
#mv permuted.fns ${MANUAL}.fns |
116 |
|
|
117 |
# The resulting permuted.fns will be read when we run TeX |
# The resulting permuted.fns will be read when we run TeX |
118 |
# on the manual the second time. Or you can use permuted.texinfo here. |
# on the manual the second time. Or you can use permuted.texinfo here. |
119 |
#${TEX} permuted.texinfo |
#${TEX} permuted.texinfo |
120 |
|
|