diff options
-rwxr-xr-x | update_html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/update_html b/update_html index 4f99fac9..4d94fc8f 100755 --- a/update_html +++ b/update_html @@ -1,7 +1,7 @@ -#!/usr/bin/env zsh +#!/bin/bash # Regenerate html files. -rm html/**/*.html +rm html/*.html html/edit/*.html process() { vim -c TOhtml -c write -c qall $1 |