2020-04-20 20:15:43 +03:00
|
|
|
## Syntax highlighting for Texinfo files.
|
2014-05-17 00:21:34 +04:00
|
|
|
|
2020-09-14 20:37:45 +03:00
|
|
|
## Original author: Benno Schulenberg
|
|
|
|
## License: GPL version 3 or newer
|
|
|
|
|
2018-02-07 13:25:46 +03:00
|
|
|
syntax texinfo "\.texi$"
|
2014-05-06 14:03:02 +04:00
|
|
|
header "^\\input texinfo"
|
2017-11-19 13:10:53 +03:00
|
|
|
magic "Texinfo source"
|
2016-05-25 23:13:50 +03:00
|
|
|
comment "@c "
|
2014-05-06 14:03:02 +04:00
|
|
|
|
2021-10-15 18:24:18 +03:00
|
|
|
# How the manual gets listed in the directory node.
|
|
|
|
color purple start="^@direntry" end="^@end direntry"
|
|
|
|
|
2014-05-06 14:03:02 +04:00
|
|
|
# Command arguments, trailing and enclosed.
|
2021-10-15 11:15:48 +03:00
|
|
|
color cyan "^@[a-z]+[[:space:]]+.*"
|
2021-10-15 18:24:18 +03:00
|
|
|
color lightmagenta "@([a-z]+|,|H|U)\{([^}]|@\}|@[a-z]+\{[^}]*\})*\}"
|
2014-05-06 14:03:02 +04:00
|
|
|
# Commands themselves.
|
2021-10-17 13:19:28 +03:00
|
|
|
color yellow "^@[a-z]+([[:space:]]|$)|@([a-z]+|,|H|U|AA|AE|DH|L|OE?|(La)?TeX|TH)\{|\}"
|
2021-10-15 18:24:18 +03:00
|
|
|
color pink "@[!"'&*./:=?@\^`{}~-]"
|
|
|
|
|
|
|
|
# Special separator for headings and footings.
|
|
|
|
color mint "@\|"
|
2014-05-06 14:03:02 +04:00
|
|
|
|
|
|
|
# Menu items.
|
2018-11-03 23:12:44 +03:00
|
|
|
color brightred "^\*[[:space:]]+.*::.*"
|
2014-05-06 14:03:02 +04:00
|
|
|
|
|
|
|
# Comments.
|
2021-10-15 18:24:18 +03:00
|
|
|
color green "@c(omment)?[[:space:]]+.*"
|
2014-05-06 14:03:02 +04:00
|
|
|
|
|
|
|
# Trailing whitespace.
|
|
|
|
color ,green "[[:space:]]+$"
|