Skip to content

Commit b652db7

Browse files
committed
[check] Check for "(\ref", recommend \iref
1 parent 2878217 commit b652db7

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

tools/check-source.sh

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -85,6 +85,10 @@ grep -n 'ucode{[^}]*[^0-9a-f}][^}]*}' $texfiles |
8585
grep -n 'unicode{[^}]*[^0-9a-f}][^}]*}' $texfiles |
8686
fail 'use lowercase hex digits inside \\unicode' || failed=1
8787

88+
# Use \iref instead of "(\ref", except for subclause ranges
89+
grep -n '.(\\ref' $texfiles | grep -v -- "--" |
90+
fail 'use \\iref instead of (\\ref' || failed=1
91+
8892
# Use \xrefc instead of "ISO C x.y.z"
8993
grep -n "^ISO C [0-9]*\." $texfiles |
9094
fail 'use \\xrefc instead' || failed=1

0 commit comments

Comments
 (0)