7 Commits

Author	SHA1	Message	Date
jcamiel	948f1e2065	Rename manual-page.md to manual.md	2022-09-02 15:39:24 +02:00
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
jcamiel	807348e46a	Update READMEs.	2022-08-19 11:04:16 +02:00
jcamiel	c0a8bbb544	Update man and document documentation generation.	2022-08-16 14:27:20 +02:00
jcamiel	08fc128a9b	Update man and README.	2022-08-16 13:39:13 +02:00
lepapareil	4a6959adcd	Add coverage report and badge to ci	2022-08-11 22:59:54 +02:00
jcamiel	0070e09b98	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