No need in redo target

diff --git a/doc/www.do b/doc/www
old mode 100644 (file)
new mode 100755 (executable)
similarity index 96%
rename from doc/www.do
rename to doc/www
index 9781b9a..c681433
--- a/doc/www.do
+++ b/doc/www
@@ -1,4 +1,5 @@
-redo-ifchange *.texi
+#!/bin/sh -e
+
 html=feeder.html
 rm -f $html/*.html
 ${MAKEINFO:=makeinfo} --html \