Don't rely on GNU make's implicit rules for shell scripts. Noted by

EGE.

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 604cf5282c236fb630842ac5d16752854e61d409..0069da315c7397c3353bbd904e02f499107322ca 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -127,6 +127,10 @@ Makefile: Makefile.in ../config.status
        cd .. \
          && CONFIG_FILES=$(subdir)/$@ CONFIG_HEADERS= $(SHELL) ./config.status
 
+instdoc: instdoc.sh
+       cat instdoc.sh > instdoc
+       chmod a+x instdoc
+
 instdoc.sh: instdoc.sh.in ../config.status
        cd .. \
          && CONFIG_FILES=$(subdir)/$@ CONFIG_HEADERS= $(SHELL) ./config.status