bug-gnulib
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML out

From: Ludovic Courtès
Subject: Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output
Date: Thu, 16 Apr 2015 11:03:11 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) 
address@hidden (Ludovic Courtès) skribis:

> From 0a9320dd0f1d0d93d9204768a6cce5198c9ae8a1 Mon Sep 17 00:00:00 2001
> From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <address@hidden>
> Date: Thu, 11 Dec 2014 16:49:21 +0100
> Subject: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML
>  output
>
> * build-aux/gendocs.sh (htmlarg): Change default value.

Pushed along with the addition of <http://gnu.org/s/gnulib/manual.css>.

Ludo’.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]