[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

doc: Give users the freedom to use their own style in the HTML documenta

From: Bruno Haible
Subject: doc: Give users the freedom to use their own style in the HTML documentation
Date: Sat, 06 Jun 2020 21:33:38 +0200
User-agent: KMail/5.1.3 (Linux/4.4.0-179-generic; KDE/5.18.0; x86_64; ; )

Hi José,

I always prefer to read documentation in HTML format. When reading the poke

1) I was annoyed to have a white-text-on-black-background style, because it
   hurts the eyes in an otherwise black-text-on-white-background desktop.

2) I was even surprised to see that the doc I generate locally, as well as
   the doc a user can generate from the distributed tarballs [1], makes a
   network reference to www.jemarch.net when viewed for the first time.
   It gives the owner of that site (and every internet node operator on
   the way) the opportunity to get a notification when the user opens the
   documentation for the first time.

In fact, the AM_MAKEINFOHTMLFLAGS variable is not overridable by the user
(who can only give a MAKEINFOFLAGS as a 'configure' argument).

I would propose to give users
  - the default style by default,
  - the freedom to use their own style instead of yours.

Patch attached.



Attachment: 0001-doc-Give-users-the-freedom-to-use-their-own-style-in.patch
Description: Text Data

reply via email to

[Prev in Thread] Current Thread [Next in Thread]