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