CSS for the on-line manual

[Carlos O'Donell]

On 08/03/2016 07:03 AM, Ludovic Courtès wrote:
> Hello,
> 
> Could the manual at <https://www.gnu.org/software/libc/manual/> be
> updated to use the nicer CSS used by several GNU packages¹?
> 
> Gnulib contains a script, gendocs.sh, that generates the manual in all
> the formats, using the right CSS by default, as well as the
> manual/index.html page:
> 
>   http://git.savannah.gnu.org/cgit/gnulib.git/tree/build-aux/gendocs.sh
> 
> Ludo’.
> 
> ¹ See <https://www.gnu.org/software/coreutils/manual/coreutils.html> for
>   an example.
 
I'll try to use gendocs.sh for the 2.24 docs update, and see if it works
easily enough for this.

-- 
Cheers,
Carlos.