Akim Demaille ab3eaff7c4 doc: use colors for diagnostics in TeX too ...

Thanks to Gavin Smith and Patrice Dumas.
http://lists.gnu.org/archive/html/help-texinfo/2019-04/msg00015.html

* doc/bison.texi (@colorWarning, @colorError, @colorNotice)
(@colorOff): Define for TeX and HTML.
(@dwarning, @derror, @dnotice): Use them.

2019-05-09 19:21:02 +02:00

10 KiB

Raw Blame History

View Raw