doc: better index entries for grammar (non-)terminals

parent 10ee7670
...@@ -14,7 +14,7 @@ ...@@ -14,7 +14,7 @@
\ifthenelse{\equal{#2}{}}{}{\indexttbase{#2}{#1}}}\spacetrue} \ifthenelse{\equal{#2}{}}{}{\indexttbase{#2}{#1}}}\spacetrue}
\newcommand{\nonterm}[2]{% \newcommand{\nonterm}[2]{%
\ifthenelse{\equal{#2}{}}% \ifthenelse{\equal{#2}{}}%
{\addspace\hbox{\textsl{#1}\ifnewentry\index{grammar entries!\textsl{#1}}\fi}\spacetrue}% {\addspace\hbox{\textsl{#1}\ifnewentry\index{#1@\textsl{#1}}\fi}\spacetrue}%
{\addspace\hbox{\textsl{#1}\footnote{#2}\ifnewentry\index{grammar entries!\textsl{#1}}\fi}\spacetrue}} {\addspace\hbox{\textsl{#1}\footnote{#2}\ifnewentry\index{grammar entries!\textsl{#1}}\fi}\spacetrue}}
\newcommand{\repetstar}{$^*$\spacetrue} \newcommand{\repetstar}{$^*$\spacetrue}
\newcommand{\repetplus}{$^+$\spacetrue} \newcommand{\repetplus}{$^+$\spacetrue}
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment