>From c876a1cf41db09bce28ea2037d2cb0c4f99fc67d Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Sat, 6 Jun 2020 21:09:01 +0200 Subject: [PATCH] doc: Give users the freedom to use their own style in the HTML documentation. * doc/Makefile.am (AM_MAKEINFOHTMLFLAGS): Remove variable. * HACKING (Building): Explain how to set a custom style in the HTML documentation. --- HACKING | 11 ++++++++++- doc/Makefile.am | 2 -- 2 files changed, 10 insertions(+), 3 deletions(-) diff --git a/HACKING b/HACKING index b657794..cde9d0f 100644 --- a/HACKING +++ b/HACKING @@ -373,7 +373,16 @@ Then, you can run ``configure``:: $ mkdir build/ && cd build $ ../configure - + +Here, you can give as arguments to 'configure' + - configure options, as listen in the 'configure --help' output, + - Makefile variable assignments for building the binaries, as + described in the INSTALL file, + - Makefile variable assignments for building the documentation, + for example + MAKEINFOFLAGS="--css-ref=http://www.jemarch.net/homepage.css" + to get HTML documentation styled like the "Applied Pokology" blog. + Finally:: $ make diff --git a/doc/Makefile.am b/doc/Makefile.am index c915da8..bca7a93 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -51,8 +51,6 @@ pkgdata_DATA = nodelist # like a bug, since the "Footnotes" heading is

itself. Using a # header for this is ugly anyway. -AM_MAKEINFOHTMLFLAGS = --css-ref='http://www.jemarch.net/homepage.css' - html-local: sed -i -e '/^.*/d' \ -e 's/^