[bug #63789] pre-html.cpp: add a space after "nullptr" in a comment

[Dave]

Follow-up Comment #1, bug #63789 (project groff):


sed 's#0 */\* *nullptr *\*/#nullptr#g'

does the substitution regardless of how much space, including none, is between
the 0 and the open-comment sequence, the open-comment and the word "nullptr,"
and that word and the close-comment.

To be extra paranoid, you could (in GNU sed) add a \b before the 0, to guard
against matching the unlikely code snippet "50 /* nullptr */" or some such.


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?63789>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/