Christine Seeman 2e3eaca3d4 Changing naming from Manual Page to just Manual ... Where it made sense in the titles, and references in the documentation, I have updated to just `Manual` over `Manual Page` for clarity on the purpose of the section or documentation. I have left the file naming alone, since that was mostly used in the links and felt like the titles might be where more confusion could be at.		2022-09-02 12:47:08 +02:00
..
build_man_md.py	Changing naming from Manual Page to just Manual	2022-09-02 12:47:08 +02:00
build_readme.py	Changing to manual vs man in documenation	2022-09-02 12:47:08 +02:00
markdown.py	Add scripts to construct GitHub and crates.io README, and to construct grammar and man canonical document from the source.	2022-06-01 10:34:33 +02:00
parser.py	Add scripts to construct GitHub and crates.io README, and to construct grammar and man canonical document from the source.	2022-06-01 10:34:33 +02:00