We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 35c1533 commit 788d25cCopy full SHA for 788d25c
1 file changed
tools/check-source.sh
@@ -87,7 +87,7 @@ grep -n 'U+' $texfiles |
87
fail 'use \\unicode or \\ucode or \\uname instead' || failed=1
88
89
# Discourage double-wrapping \tcode{\exposid{data_}}
90
-grep -n '\\tcode{\\exposid{[a-zA-Z0-9_]*}}' $texfiles |
+grep -n '\\tcode{\\exposid{[a-zA-Z0-9_-]*}}' $texfiles |
91
fail 'double-wrapped \\exposid in \\tcode' || failed=1
92
93
# Hex digits inside \ucode and \unicode must be lowercase so that \textsc works
0 commit comments