diff options
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 |