diff options
author | Norbert Preining <norbert@preining.info> | 2022-03-05 03:00:46 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2022-03-05 03:00:46 +0000 |
commit | 19a90b19f6ec33aec1291be08fecfece45735a22 (patch) | |
tree | 5280534c654589edee14cba9c39981c452a7a0e3 /systems/doc/hitex/hint.ist | |
parent | 575ab7d0e7534edd510bbc89a2ef4b04582af591 (diff) |
CTAN sync 202203050300
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 " + |