Skip to content

[index] Use LaTeX package 'imakeidx' to allow for more indices. #3873

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Oct 17, 2020
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 0 additions & 9 deletions source/back.tex
Original file line number Diff line number Diff line change
Expand Up @@ -77,11 +77,9 @@ \chapter{Bibliography}
}

\clearpage
\renewcommand{\indexname}{Index of grammar productions}
\renewcommand{\preindexhook}{The first bold page number for each entry is the page in the
general text where the grammar production is defined. The second bold page number is the
corresponding page in the Grammar summary\iref{gram}. Other page numbers refer to pages where the grammar production is mentioned in the general text.\\}
\renewcommand{\leftmark}{\indexname}
{
\raggedright
\printindex[grammarindex]
Expand All @@ -90,17 +88,13 @@ \chapter{Bibliography}
\clearpage
\renewcommand{\preindexhook}{The bold page number for each entry refers to
the page where the synopsis of the header is shown.\\}
\renewcommand{\indexname}{Index of library headers}
\renewcommand{\leftmark}{\indexname}
{
\raggedright
\printindex[headerindex]
}

\clearpage
\renewcommand{\preindexhook}{}
\renewcommand{\indexname}{Index of library names}
\renewcommand{\leftmark}{\indexname}
{
\raggedright
\printindex[libraryindex]
Expand All @@ -110,8 +104,6 @@ \chapter{Bibliography}
\renewcommand{\preindexhook}{The bold page number for each entry is the page
where the concept is defined.
Other page numbers refer to pages where the concept is mentioned in the general text.\\}
\renewcommand{\indexname}{Index of library concepts}
\renewcommand{\leftmark}{\indexname}
{
\raggedright
\printindex[conceptindex]
Expand All @@ -120,7 +112,6 @@ \chapter{Bibliography}
\clearpage
\renewcommand{\preindexhook}{The entries in this index are rough descriptions; exact
specifications are at the indicated page in the general text.\\}
\renewcommand{\indexname}{Index of implementation-defined behavior}
\renewcommand{\leftmark}{Index of impl.-def. behavior}
{
\raggedright
Expand Down
2 changes: 1 addition & 1 deletion source/latexmkrc
Original file line number Diff line number Diff line change
Expand Up @@ -3,4 +3,4 @@ sub makeglo2gls {
system("makeindex -s basic.gst -o '$_[0]'.gls '$_[0]'.glo");
}

$makeindex = 'stem=`basename %S .idx`; makeindex %O `test -f ${stem}.ist && echo "-s ${stem}.ist"` -o %D %S';
$pdflatex = "pdflatex -shell-escape %O %S"
13 changes: 7 additions & 6 deletions source/std.tex
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,7 @@
\usepackage{amsmath} % additional math symbols
\usepackage{mathrsfs} % mathscr font
\usepackage[final]{microtype}
\usepackage[splitindex,original]{imakeidx}
\usepackage{multicol}
\usepackage{lmodern}
\usepackage{xcolor}
Expand Down Expand Up @@ -59,12 +60,12 @@
\input{macros}
\input{tables}

\makeindex[generalindex]
\makeindex[grammarindex]
\makeindex[headerindex]
\makeindex[libraryindex]
\makeindex[conceptindex]
\makeindex[impldefindex]
\makeindex[name=generalindex,options=-s generalindex.ist,title=Index]
\makeindex[name=grammarindex,title=Index of grammar productions]
\makeindex[name=headerindex,title=Index of library headers]
\makeindex[name=libraryindex,options=-s libraryindex.ist,title=Index of library names]
\makeindex[name=conceptindex,title=Index of library concepts]
\makeindex[name=impldefindex,title=Index of implementation-defined behavior]
\makeglossary[xrefindex]
\makeglossary[xrefdelta]

Expand Down