On 31/03/15 16:51, Ludovic Courtès wrote: > Reviving this old thread... > http://lists.gnu.org/archive/html/bug-gnulib/2014-12/msg00157.html > > l...@gnu.org (Ludovic Courtès) skribis: > >> The patch below intends to make on-line manuals prettier by default, and >> to make it easier to change their style in the future. >> >> It assumes that <http://gnu.org/s/emacs/manual.css> would be copied to >> <http://gnu.org/manual/manual.css> as a starting point. > > Some weeks ago I discussed this with webmast...@gnu.org. The conclusion > was that they’d rather not take care of the CSS for manuals themselves; > instead, they suggested hosting the CSS file at gnu.org/s/gnulib. > > So, the updated proposal would be to copy, say, > <http://gnu.org/s/coreutils/manual.css> to > <http://gnu.org/s/gnulib/manual.css>, and then to update gendocs.sh to > refer to that by default. > > Objections? Suggestions?
+1 There should be more consistency and less duplication of effort with that
