# HG changeset patch # User Rik # Date 1450132497 28800 # Node ID a7ebc9815d71485a23c7272d085689ca91493c7f # Parent 9fe6db1dcc4619b88e8df36518f88adb1108350f doc: Start help text with " -- ", not " -- : ". * __makeinfo__.m: Use regexprep to replace " -- : " generated by Texinfo with " -- ". diff -r 9fe6db1dcc46 -r a7ebc9815d71 scripts/help/__makeinfo__.m --- a/scripts/help/__makeinfo__.m Tue Dec 15 10:15:20 2015 -0500 +++ b/scripts/help/__makeinfo__.m Mon Dec 14 14:34:57 2015 -0800 @@ -148,11 +148,15 @@ endif endif + ## Clean up start of @deftypefn expansion which includes extra ':' + retval = regexprep (retval, '^ -- : +', ' -- ', "lineanchors"); + unwind_protect_cleanup if (exist (name, "file")) delete (name); endif end_unwind_protect + endfunction