Create a new index for library headers

jensmaurer · zygoloid · commit bd2ce5c2d4ec · 2017-11-25T16:33:11.000-08:00
and remove them from the index of library names.
diff --git a/source/Makefile b/source/Makefile
@@ -38,6 +38,7 @@ reindex:
 	$(STDPDF)
 	$(STDPDF)
 	makeindex generalindex
+	makeindex headerindex
 	makeindex libraryindex
 	makeindex grammarindex
 	makeindex impldefindex
diff --git a/source/back.tex b/source/back.tex
@@ -64,6 +64,15 @@ \chapter{Bibliography}
 \printindex[grammarindex]
 }
 
+\clearpage
+\renewcommand{\preindexhook}{}
+\renewcommand{\indexname}{Index of library headers}
+\renewcommand{\leftmark}{\indexname}
+{
+\raggedright
+\printindex[headerindex]
+}
+
 \clearpage
 \renewcommand{\preindexhook}{}
 \renewcommand{\indexname}{Index of library names}
diff --git a/source/macros.tex b/source/macros.tex
@@ -113,7 +113,7 @@
 % locations
 \newcommand{\indextext}[1]{\index[generalindex]{#1}}
 \newcommand{\indexlibrary}[1]{\index[libraryindex]{#1}}
-\newcommand{\indexhdr}[1]{\indextext{\idxhdr{#1}}\indexlibrary{\idxhdr{#1}}}
+\newcommand{\indexhdr}[1]{\indextext{\idxhdr{#1}}\index[headerindex]{\idxhdr{#1}}}
 \newcommand{\indexgram}[1]{\index[grammarindex]{#1}}
 
 % Collation helper: When building an index key, replace all macro definitions
diff --git a/source/std.tex b/source/std.tex
@@ -57,6 +57,7 @@
 \input{tables}
 
 \makeindex[generalindex]
+\makeindex[headerindex]
 \makeindex[libraryindex]
 \makeindex[grammarindex]
 \makeindex[impldefindex]
