diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-03-09 02:56:27 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-03-09 02:56:27 -0800 |
commit | 4690ce81e079fc58cae8d6d583e5e3eb3ed81a83 (patch) | |
tree | b62ebb7e9a7fb88f8db3a168354acfebced83dd2 /update_html | |
parent | 1d079fc574a35f39fd52e3de23a1c8bfa45238ae (diff) | |
download | mu-4690ce81e079fc58cae8d6d583e5e3eb3ed81a83.tar.gz |
2743
Looks like "TOhtml | <other command>" doesn't work on Mac OS X for some reason..
Diffstat (limited to 'update_html')
-rwxr-xr-x | update_html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/update_html b/update_html index 08e9a3f4..68441e28 100755 --- a/update_html +++ b/update_html @@ -1,10 +1,10 @@ -#!/usr/bin/zsh +#!/usr/bin/env zsh # Regenerate html files. rm html/**/*.html process() { - vim -c "TOhtml | w | qa" $1 + vim -c TOhtml -c write -c qall $1 sed -i 's,<title>\~/mu/,<title>Mu - ,' $1.html sed -i 's,\.html</title>,</title>,' $1.html |