[macros] Remove library headers from general index.

Author: jensmaurer

source/macros.tex

@@ -119,7 +119,7 @@
 % locations
 \newcommand{\indextext}[1]{\index[generalindex]{#1}}
 \newcommand{\indexlibrary}[1]{\index[libraryindex]{#1}}
-\newcommand{\indexhdr}[1]{\indextext{\idxhdr{#1}}\index[headerindex]{\idxhdr{#1}}}
+\newcommand{\indexhdr}[1]{\index[headerindex]{\idxhdr{#1}}}
 \newcommand{\indexconcept}[1]{\index[conceptindex]{#1}}
 \newcommand{\indexgram}[1]{\index[grammarindex]{#1}}
 
@@ -192,7 +192,7 @@
 
 % index for library headers
 \newcommand{\libheader}[1]{\indexhdr{#1}\tcode{<#1>}}
-\newcommand{\indexheader}[1]{\indextext{\idxhdr{#1}}\index[headerindex]{\idxhdr{#1}|idxbfpage}}
+\newcommand{\indexheader}[1]{\index[headerindex]{\idxhdr{#1}|idxbfpage}}
 \newcommand{\libheaderdef}[1]{\indexheader{#1}\tcode{<#1>}}
 \newcommand{\libnoheader}[1]{\indextext{\idxhdr{#1}!absence thereof}\tcode{<#1>}}
 \newcommand{\libheaderrefx}[2]{\libheader{#1}\iref{#2}}