2 Commits

Author	SHA1	Message	Date
Owen Voorhees	d68089dcf9	[Diagnostics] Add a basic terminal markdown printer for educational notes ... Currently the printer only supports the subset of markdown used by educational notes. It bolds headers, improves the appearance of lists and horizontal rules, and does basic indenting of blockquotes and code blocks.	2020-03-05 18:04:32 -08:00
Owen Voorhees	ac05a66938	[Diagnostics] Introduce "Educational Notes" for diagnostics ... Educational notes are small pieces of documentation which explain a concept relevant to some diagnostic message. If -enable-descriptive-diagnostics is passed, they will be printed after a diagnostic message if available. Educational notes can be found at /usr/share/doc/diagnostics in a toolchain, and are associated with specific compiler diagnostics in EducationalNotes.def.	2019-11-07 13:18:35 -08:00