diff options
Diffstat (limited to 'Build/source/texk/web2c/hitexdir/doc/hint.ist')
-rw-r--r-- | Build/source/texk/web2c/hitexdir/doc/hint.ist | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/hitexdir/doc/hint.ist b/Build/source/texk/web2c/hitexdir/doc/hint.ist new file mode 100644 index 00000000000..29716216028 --- /dev/null +++ b/Build/source/texk/web2c/hitexdir/doc/hint.ist @@ -0,0 +1,17 @@ +% Public domain makeindex style for hint. + +% quote '+' + +actual '+' +encap ':' +preamble "\\beginindex\n" +postamble "\\endindex\n" +headings_flag 1 +heading_prefix "\\indexheading " +symhead_positive "{Symbols}" +numhead_positive "{Numbers}" + +delim_0 "\\quad " +delim_1 "\\quad " +delim_2 "\\quad " + |