Re: [PATCH 16/16] Document the "set style" commands

Tom Tromey
2018-12-28T19:19:51Z

>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:

Eli> The text is OK, but you have numerous "set style" index entries that
Eli> all start with the same substring and will point to almost the same
Eli> page. This is not useful, IME. I suggest just a single index entry
Eli> about "set style" instead.

I've made this change.

Tom