Following the recent recommendation on gnu-prog-discuss, I've applied
this.
Cheers,
Ralf
Use --email with gendocs.sh.
* Makefile.maint (web-manual): Pass bug reporting address to
gendocs.sh.
diff --git a/Makefile.maint b/Makefile.maint
index 02284df..b90b31d 100644
--- a/Makefile.maint
+++ b/Makefile.maint
@@ -225,4 +225,4 @@ web-manual:
$(WGETSGO)'/texinfo/texinfo/util/gendocs.sh' && \
$(WGETSGO)'/texinfo/texinfo/util/gendocs_template' && \
chmod 755 gendocs.sh && \
- ./gendocs.sh libtool "GNU Libtool Manual"
+ ./gendocs.sh --email bug-libt...@gnu.org libtool "GNU Libtool Manual"
