From: Sergey Matveev <stargrave@stargrave.org>
Date: Thu, 19 Sep 2024 14:04:38 +0000 (+0300)
Subject: No need in redo target
X-Git-Url: http://www.git.stargrave.org/?a=commitdiff_plain;h=a1eae7765629b4efc4760b59f7d68b42048adc6a;p=feeder.git

No need in redo target
---

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 \