/awk-edits/

• ../
• #strings.awk
• File-type.awk
• Group-contents.awk
• Heading-anchors.awk
• Icons.awk
• Pagenav.awk
• Presentation.awk
• README.md
• Svg-height-attrib.awk
• Syntax-highlighting.awk