summaryrefslogtreecommitdiff
path: root/systems/doc/hitex/hint.ist
diff options
context:
space:
mode:
Diffstat (limited to 'systems/doc/hitex/hint.ist')
-rw-r--r--systems/doc/hitex/hint.ist16
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 "
+