5 commits

Author	SHA1	Message	Date
Thomas Waldmann	78c7aabbb6	docs: fix usage docs and references for repo-* commands	2024-09-08 18:06:26 +02:00
Thomas Waldmann	04dfadbbd6	cli: rename r* commands to repo-* ... also: - adapt tests - adapt BuildMan manpage generation - adapt help strings / doc strings - docs	2024-09-08 18:06:24 +02:00
Paul D	253d8e8d4e	Docs grammar fixes ... joined split infinitives, and relocated adverbs appropriately.	2022-12-29 22:26:54 +00:00
Thomas Waldmann	dbb63f874b	docs: fix rst literal blocks	2022-07-05 00:38:37 +02:00
Thomas Waldmann	51cf85e627	build_usage / build_man / doc updates	2022-06-25 21:58:19 +02:00