about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rwxr-xr-xupdate_html4
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