GNOME Bugzilla – Bug 756998
Support |[<!-- language="plain" --> ]|
Last modified: 2015-10-27 18:06:59 UTC
Sometimes, having a simple verbatim element (like <screen> in docbook) comes in handy. Since we don't allow direct xml markup in GTK+'s doc comments anymore, make |[<!-- language="plain --> ... ]| work for this case.
Created attachment 313904 [details] [review] Support |[<!-- language="plain" --> ]|
Review of attachment 313904 [details] [review]: ::: gtkdoc-mkdb.in @@ +5441,3 @@ + } else { + $output .= "<informalexample><programlisting language=\"" . $block->{"language"} . "\"><![CDATA[\n"; + } nit: add one more space
Attachment 313904 [details] pushed as 6a1615b - Support |[<!-- language="plain" --> ]|