Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Newer
Older
100644 12 lines (8 sloc) 0.301 kB
d8fb8cf Draft with editorial fixes received as of 2011-05:
Stefanus Du Toit authored
1 # process ordinary section headers
2 s/^\\rSec[[:digit:]]\[([^]]*)\].*$/\1 xref/p
3
4 # process definitions
5 s/^\\definition\{[^}]*\}\{([^}]*)\}.*$/\1 xref/p
6
7 # process informative annex headers
8 s/^\\infannex\{([^}]*)\}.*$/\1 xref/p
9
10 # process normative annex headers
11 s/^\\normannex\{([^}]*)\}.*$/\1 xref/p
Something went wrong with that request. Please try again.