diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-07-01 10:19:04 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-07-01 10:19:04 -0700 |
| commit | 62a52ffbfe2880fe754732ca3417eab96ff83738 (patch) | |
| tree | 0aa59103af2256769a0792a6378babd6cad0eba0 /update_html | |
| parent | 7ed2441bb547fb799bdd553e4f89c48fee7b60db (diff) | |
| download | mu-62a52ffbfe2880fe754732ca3417eab96ff83738.tar.gz | |
1690
Diffstat (limited to 'update_html')
| -rwxr-xr-x | update_html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_html b/update_html index 14bd8ed5..decd732a 100755 --- a/update_html +++ b/update_html @@ -6,7 +6,7 @@ do vim -c "TOhtml | w | qa" $f mv $f.html html done -sed -i 's,<title>\~/Desktop/s/mu/,<title>Mu - ,' html/* +sed -i 's,<title>\~/mu/,<title>Mu - ,' html/* sed -i 's,\.html</title>,</title>,' html/* sed -i 's/^\*.*/* { font-size: 1.05em; }/g' html/* # tweak contrast |