Hello, On Mar 31, 2015, at 11:51, Ludovic Courtès <l...@gnu.org> wrote:
<...> > <http://gnu.org/s/gnulib/manual.css>, and then to update gendocs.sh to > refer to that by default. > > Objections? Suggestions? This URL results in two redirections, perhaps it'll better to use the expanded version? http://www.gnu.org/software/gnulib/manual.css (see https://debbugs.gnu.org/cgi/bugreport.cgi?bug=18428#49). -assaf
