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