chiark / gitweb /
doc: not everyone may like hyphenation or smart quotes.
authorVladimír Vondruš <mosra@centrum.cz>
Sun, 2 Jan 2022 12:07:19 +0000 (13:07 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 2 Jan 2022 16:23:42 +0000 (17:23 +0100)
commit10183040d32733ec674ba6205490f9360c8402ab
tree0e2eeafc095948b99c46449cdba9a39e6b04c5ef
parent89d4811feda4cbeb1c4869d6485bca73474a6522
doc: not everyone may like hyphenation or smart quotes.

Plus hyphenation requires extra packages, so don't suggest it by default
-- but clarify that those actually *are* the defaults and so the user
can omit them.
doc/plugins/htmlsanity.rst