Akim Demaille fa390dc311 doc: fix colors ...

The original Texinfo macros introducing colors were made for
diagnostics, which are printed in bold.  So by copy-paste accident the
styles we introduced for counterexamples were also in bold.  They
should not.

* doc/bison.texi: Separate the styling of diagnostics from the styling
for counterexamples.
Don't use bold in the latter case.

2020-07-28 07:45:07 +02:00

541 KiB

Raw Blame History

View Raw