summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/hitexdir/doc/hint.ist
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/hitexdir/doc/hint.ist')
-rw-r--r--Build/source/texk/web2c/hitexdir/doc/hint.ist17
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 "
+