1 files changed, 1 insertions, 1 deletions

diff --git a/htdocs.do b/htdocs.do
index ee4565b..8470901 100644
--- a/htdocs.do
+++ b/htdocs.do
@@ -1,2 +1,2 @@
-redo-ifchange index.html
+redo-ifchange all
 rsync -Rav --delete style.css *.html lists/*.html posts/*.html tex/*/*.svg htdocs/ >&2