On 2023-06-29 11:05, Andreas Schwab wrote: > I prefer an accurate description. > OK, pushed with this description: """ Make sure INSTALL is ASCII plaintext Add --disable-encoding to makeinfo flags so that it does not generate unicode quote glyphs. """