diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-12-26 11:44:14 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-12-26 11:44:14 -0800 |
| commit | 204dae921abff0c70e017215bb3c91fa6ca11aff (patch) | |
| tree | 548788d18c881e3f6beb56133c1ca9d733ffa1e8 /update_html | |
| parent | e5c11a5137d538b7713dd8708ca767c208824c06 (diff) | |
| download | mu-204dae921abff0c70e017215bb3c91fa6ca11aff.tar.gz | |
3710
Turns out we don't need to explicitly add anchors for each line. Vim's TOhtml has magic for that out of the box.
Diffstat (limited to 'update_html')
| -rwxr-xr-x | update_html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/update_html b/update_html index b0051707..63f64e19 100755 --- a/update_html +++ b/update_html @@ -4,7 +4,6 @@ process() { vim -c "set number" -c TOhtml -c write -c qall $1 # per-line anchors - sed -i 's/^<span id="\([^"]*\)"/<a name="\1"><\/a>&/' $1.html sed -i 's/^\.LineNr .*/.LineNr { color: #444444; }/' $1.html sed -i 's,<title>\~/mu/,<title>Mu - ,' $1.html |