[impldefindex] Reinstate full page mark

tkoeppe · tkoeppe · commit f41a619cf852 · 2024-07-12T01:28:38.000+01:00
As of 13b08d0 we have space for it.
diff --git a/source/back.tex b/source/back.tex
@@ -159,7 +159,6 @@
 \clearpage
 \renewcommand{\preindexhook}{The entries in this index are rough descriptions; exact
 specifications are at the indicated page in the general text.\\}
-\renewcommand{\leftmark}{Index of impl.-def. behavior}
 {
 \raggedright
 \printindex[impldefindex]

Original file line number	Diff line number	Diff line change
`@@ -159,7 +159,6 @@`
`159`	`159`	`\clearpage`
`160`	`160`	`\renewcommand{\preindexhook}{The entries in this index are rough descriptions; exact`
`161`	`161`	`specifications are at the indicated page in the general text.\\}`
`162`		`-\renewcommand{\leftmark}{Index of impl.-def. behavior}`
`163`	`162`	`{`
`164`	`163`	`\raggedright`
`165`	`164`	`\printindex[impldefindex]`