Skip to content

Commit 1f1057d

Browse files
committed
Update
1 parent 22a81af commit 1f1057d

File tree

7 files changed

+3689
-2160
lines changed

7 files changed

+3689
-2160
lines changed

gen_html.sh

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
#! /bin/sh
1+
#! /bin/sh -e
22

33
git submodule foreach 'git pull origin || :'
44

gen_html_std.sh

+5-6
Original file line numberDiff line numberDiff line change
@@ -46,13 +46,12 @@ latexmk -pdf std
4646
cp std.pdf std_orig.pdf
4747

4848
# create the "annex-f" file that maps stable names to section numbers
49-
grep newlabel *.aux \
50-
| sed 's/\\newlabel{\([^}]*\)}.*TitleReference {\([^}]*\)}.*/\1 \2/' \
51-
| sed 's/\\newlabel{\([^}]*\)}{{\(Clause\|Annex\) \([^}]*\)}.*/\1 \3/' \
52-
| grep -v "aux:tab:" \
53-
| grep -v "aux:fig:" \
54-
| sed 's/\(.*\).aux://' \
49+
grep '^\\newlabel{' *.aux \
50+
| grep -v '\\newlabel{\(fig\|tab\):' \
51+
| sed 's/^.*\.aux://' \
52+
| sed 's/^\\newlabel{\([^}]*\)}{{\([^}]*\)}.*/\1 \2/' \
5553
| grep -v '^\\' \
54+
| sed 's/\(Clause\|Annex\) //' \
5655
| sort > annex-f
5756

5857
if [ -f ../../htmlgen.patch ]

gh-pages

Submodule gh-pages updated 3357 files

0 commit comments

Comments
 (0)