diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2017-10-12 23:43:09 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2017-10-12 23:43:09 -0700 |
| commit | 25ad969f7582d9253f5329812aed5ed5784d8ec8 (patch) | |
| tree | 13ce7948b151b2583d9d372a9ce175ad25a9f836 /update_html | |
| parent | 9e0ec84fb86e3173a7671ad8d4f7c2ed29613a50 (diff) | |
| download | mu-25ad969f7582d9253f5329812aed5ed5784d8ec8.tar.gz | |
4052
Diffstat (limited to 'update_html')
| -rwxr-xr-x | update_html | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/update_html b/update_html index 024b2ddb..c1a79ed0 100755 --- a/update_html +++ b/update_html @@ -86,5 +86,19 @@ process() { mv $f.out $f done + rm html/subx/*.html + for f in subx/*.cc + do + process $f + done + ( cd subx + ctags -x *.cc > /tmp/tags + ) + linkify/linkify /tmp/tags html/subx/*.html + for f in html/subx/*.cc.html + do + mv $f.out $f + done + rm /tmp/tags ( cd linkify; clean; ) |