[CHERI] 0d11960a4 man: Fix rendering of certain sections in vtc(7)

[Poul-Henning Kamp]

commit 0d11960a4466be2486d81b966d7d052d7543d21e
Author: Dridi Boukelmoune <dridi.boukelmoune at gmail.com>
Date:   Mon Nov 28 17:17:15 2022 +0100

    man: Fix rendering of certain sections in vtc(7)
    
    The matching regular expression did not align with the substitution
    regular expression.
    
    Refs d2e526ce95d6d8426ec170b4cfc78d41abc07179

diff --git a/doc/sphinx/vtc-syntax.py b/doc/sphinx/vtc-syntax.py
index f5533e84a..cfc5a05ab 100644
--- a/doc/sphinx/vtc-syntax.py
+++ b/doc/sphinx/vtc-syntax.py
@@ -38,7 +38,7 @@ import re
 def parse_file(fn, cl, tl, sl):
     p = False
     section = ""
-    resec = re.compile("\s*/\* SECTION: ")
+    resec = re.compile("\s*/?\* SECTION: ")
 
     try:
         # Python3