diff --git a/src/tools/rman/rman.c b/src/tools/rman/rman.c index a064aee97f..49bb7701a5 100644 --- a/src/tools/rman/rman.c +++ b/src/tools/rman/rman.c @@ -1546,6 +1546,7 @@ XML(enum command cmd) { char *p; static int fRefEntry=0; static int fRefPurpose=0; + static int fSynopsisFirst=0; /*static char *bads => XML doesn't backslash-quote metacharacters */ /* @@ -1665,7 +1666,7 @@ XML(enum command cmd) { case BEGINSECTION: if (sectheadid==NAME) printf(""); + case BEGINBOLD: if (sectheadid==SYNOPSIS && fSynopsisFirst) { fSynopsisFirst = 0; printf("-->"); } printf(""); break; case ENDBOLD: printf(""); break; case BEGINITALICS: printf(""); break; /* could be literal or arg */