From a1eae7765629b4efc4760b59f7d68b42048adc6a Mon Sep 17 00:00:00 2001
From: Sergey Matveev <stargrave@stargrave.org>
Date: Thu, 19 Sep 2024 17:04:38 +0300
Subject: [PATCH] No need in redo target

---
 doc/{www.do => www} | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
 rename doc/{www.do => www} (96%)
 mode change 100644 => 100755

diff --git a/doc/www.do b/doc/www
old mode 100644
new mode 100755
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 \
-- 
2.48.1