l...@gnu.org (Ludovic Courtès) skribis: > From 0a9320dd0f1d0d93d9204768a6cce5198c9ae8a1 Mon Sep 17 00:00:00 2001 > From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <l...@gnu.org> > 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’.
