Closed snomos closed 2 years ago
In the file scripts/doccomments2ghpages.awk. The extraction leaves a space in front of the header symbol #, which makes the Markdown parser treat it as regular text instead of a header:
scripts/doccomments2ghpages.awk
#
Multichar_Symbols !!≈ # Definitions for @CODE@
results in this:
# Definitions for Multichar_Symbols
(note the space at the beginning of the line).
In the file
scripts/doccomments2ghpages.awk. The extraction leaves a space in front of the header symbol#, which makes the Markdown parser treat it as regular text instead of a header:results in this:
(note the space at the beginning of the line).