# HG changeset patch # User Rik # Date 1450132497 28800 # Node ID 5e16d687a7018d78b4f9db9a22450bae4ea3d176 # Parent 7697a3433e377b4c7c5534775850368a650ff8ba doc: Start help text with " -- ", not " -- : ". * __makeinfo__.m: Use regexprep to replace " -- : " generated by Texinfo with " -- ". diff -r 7697a3433e37 -r 5e16d687a701 scripts/help/__makeinfo__.m --- a/scripts/help/__makeinfo__.m Mon Dec 14 14:22:57 2015 -0800 +++ b/scripts/help/__makeinfo__.m Mon Dec 14 14:34:57 2015 -0800 @@ -146,11 +146,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