diff options
Diffstat (limited to 'systems/doc/hitex/hint.ist')
-rw-r--r-- | systems/doc/hitex/hint.ist | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/systems/doc/hitex/hint.ist b/systems/doc/hitex/hint.ist new file mode 100644 index 0000000000..5510d18027 --- /dev/null +++ b/systems/doc/hitex/hint.ist @@ -0,0 +1,16 @@ + +% 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 " + |