diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-05-30 19:30:33 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-05-30 19:37:02 -0700 |
commit | 4bbd3ded0b767ae0919551776e4c17189140e735 (patch) | |
tree | 29300d13dc2b869378fbde7f5456b1cfb519482d /update_html | |
parent | 06f3cebe3eb627e18910b6394bfde88c806c8f91 (diff) | |
download | mu-4bbd3ded0b767ae0919551776e4c17189140e735.tar.gz |
1517
Diffstat (limited to 'update_html')
-rwxr-xr-x | update_html | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/update_html b/update_html new file mode 100755 index 00000000..be541212 --- /dev/null +++ b/update_html @@ -0,0 +1,10 @@ +#!/bin/bash +# Regenerate html files. + +for f in *.cc *.mu +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,\.html</title>,</title>,' html/* |