Christine Seeman fe8d506f98 Changing to manual vs man in documenation ... In intro documentation, it can be confusing to see just `man` for the reference to reference manual pages and documentation. I believe this is a reference to Unix man pages (manual pages), but markdown is much more than what those ASCII text displays could do. To help understandability, I am submitting a PR to update some documentation references to manual over man.		2022-09-02 12:47:08 +02:00
..
build_man_md.py	Changing to manual vs man in documenation	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