Searched refs:heading (Results 1 - 1 of 1) sorted by relevance

/gem5/ext/ply/doc/
H A Dmakedoc.py7 # Every heading HTML tag (H1, H2 etc) is given an autogenerated name to link
11 # then change the heading link name to something that does not look like an
25 heading = re.compile(r"(_nn\d)", re.IGNORECASE) variable
32 # A non-autogenerated heading - keep it
34 autogeneratedheading = heading.match(headingname)
36 # The heading name was either non-existent or autogenerated,
37 # We can create a new heading / change the existing heading

Completed in 4 milliseconds