Thérèse sent me the following off-list. >From what I recall, gnulib's web pages are/were all generated automatically, so the code to do that should be updated accordingly. However, I don't think I've ever done that. I do see the doc/Makefile rules to create *.html, but nothing to copy that into place.
Does anyone here know how gnulib's on-line, published documentation is being updated? ---------- Forwarded message ---------- From: Thérèse Godefroy <godef...@free.fr> Date: Mon, Apr 25, 2016 at 1:18 PM Subject: [Gnulib] Suggested fixes for the web pages Hello again, One more page [0] has a leftover from the boilerplate: "bug-...@gnu.org" in the footer, and the home page [1] is not valid XHTM. While at it, why not upgrade those pages to the latest boilerplate? The major change is the addition of the (required) Copyright Infringement Notification to the footer. A patch is attached. I'll be glad to apply it. Therese [0] https://www.gnu.org/gnulib/gnulib/Copyright/index.html [1] https://www.gnu.org/gnulib/gnulib/gnulib.html
gnulib.diff.gz
Description: application/gzip