We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 1f1057d commit 9b08d24Copy full SHA for 9b08d24
gen_html_std.sh
@@ -46,12 +46,11 @@ latexmk -pdf std
46
cp std.pdf std_orig.pdf
47
48
# create the "annex-f" file that maps stable names to section numbers
49
- grep '^\\newlabel{' *.aux \
50
-| grep -v '\\newlabel{\(fig\|tab\):' \
51
-| sed 's/^.*\.aux://' \
52
-| sed 's/^\\newlabel{\([^}]*\)}{{\([^}]*\)}.*/\1 \2/' \
+ grep -h '^\\newlabel{' *.aux \
+| sed 's/\\newlabel{\([^}]*\)}.*TitleReference {\([^}]*\)}.*/\1 \2/' \
+| sed 's/\\newlabel{\([^}]*\)}{{\(Clause\|Annex\) \([^}]*\)}.*/\1 \3/' \
+| sed 's/\\newlabel{\(eq:[^}]*\)}{{\([^}]*\)}.*/\1 \2/' \
53
| grep -v '^\\' \
54
-| sed 's/\(Clause\|Annex\) //' \
55
| sort > annex-f
56
57
if [ -f ../../htmlgen.patch ]
gh-pages
0 commit comments