diff options
| -rwxr-xr-x | newlib/doc/makedocbook.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/newlib/doc/makedocbook.py b/newlib/doc/makedocbook.py index 0c84e3c47..cf48c3402 100755 --- a/newlib/doc/makedocbook.py +++ b/newlib/doc/makedocbook.py @@ -293,9 +293,8 @@ def synopsis(c, t): s = '' for l in t.splitlines(): - if re.match('\s*[#[]', l): - # a #include, #define etc. - # fpclassify contains some comments in [ ] brackets + if re.match('\s*(#|\[|struct)', l): + # preprocessor # directives, structs, comments in square brackets funcsynopsisinfo = lxml.etree.SubElement(funcsynopsis, 'funcsynopsisinfo') funcsynopsisinfo.text = l.strip() + '\n' else: @@ -468,6 +467,8 @@ def line_markup_convert(p): # also convert some simple texinfo markup # convert @emph{foo} to <emphasis>foo</emphasis> s = re.sub('@emph{(.*?)}', '<emphasis>\\1</emphasis>', s) + # convert @strong{foo} to <emphasis role=strong>foo</emphasis> + s = re.sub('@strong{(.*?)}', '<emphasis role="strong">\\1</emphasis>', s) # convert @minus{} to U+2212 MINUS SIGN s = s.replace('@minus{}', '−') # convert @dots{} to U+2026 HORIZONTAL ELLIPSIS |