diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/texinputs/myindex.ist | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Doc/texinputs/myindex.ist b/Doc/texinputs/myindex.ist new file mode 100644 index 0000000..e12f43e --- /dev/null +++ b/Doc/texinputs/myindex.ist @@ -0,0 +1,11 @@ +line_max 100 +headings_flag 1 +heading_prefix " \\bigletter " + +preamble "\\begin{theindex} +\\def\\bigletter#1{{\\Large#1}\\vspace{1mm}} + +" + +symhead_positive "{Symbols}" +numhead_positive "{Numbers}" |