about summary refs log tree commit diff stats
path: root/update_html
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-12-27 11:14:12 -0800
committerKartik K. Agaram <vc@akkartik.com>2016-12-27 11:14:12 -0800
commit76a56bc9123e5372a008bc64c3da72f45d09c4d3 (patch)
tree4e5bf079c988bd2e0b39d0241973a83b3fb1cd30 /update_html
parent7be07a6bc84b383dcf78b990a99e3d6370bd5741 (diff)
downloadmu-76a56bc9123e5372a008bc64c3da72f45d09c4d3.tar.gz
3720
Diffstat (limited to 'update_html')
-rwxr-xr-xupdate_html4
1 files changed, 3 insertions, 1 deletions
diff --git a/update_html b/update_html
index 7a9b2ca6..369fb059 100755
--- a/update_html
+++ b/update_html
@@ -1,6 +1,8 @@
 #!/bin/bash
 # Regenerate html files.
 
+set -e
+
 process() {
   vim -c "set number" -c TOhtml -c write -c qall $1
 
@@ -53,12 +55,12 @@ then
   linkify/linkify cpp.tags html/*.cc.html
   ctags -x 0*.mu  > mu.tags
   linkify/linkify mu.tags html/*.mu.html
+  rm *.tags
   ( cd edit
     ctags -x *.mu ../0*.mu > mu.tags
     ../linkify/linkify mu.tags ../html/edit/*.mu.html
     rm mu.tags
   )
-  rm *.tags
   ( cd linkify; clean; )
   for f in html/*.html html/edit/*.html
   do
previous revision' href='/akkartik/mu/blame/003trace.test.cc?h=hlt&id=d1bd0439220356d764a6ef0ae16e7256d72f7f7e'>^
51530916 ^

5af83346 ^
35064671 ^

5af83346 ^
51530916 ^

5af83346 ^
35064671 ^
5af83346 ^
51530916 ^

d7494165 ^
35064671 ^
d7494165 ^


51530916 ^
35064671 ^


5af83346 ^
51530916 ^

51530916 ^
35064671 ^

51530916 ^



35064671 ^

51530916 ^


eba30983 ^
35064671 ^
eba30983 ^


51530916 ^

36594a43 ^
5f98a10c ^

36594a43 ^
5f98a10c ^

51530916 ^







05d17773 ^
51530916 ^




05d17773 ^
51530916 ^




05d17773 ^

51530916 ^




05d17773 ^


51530916 ^




05d17773 ^


51530916 ^
d7494165 ^















1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121