4 Commits

Author	SHA1	Message	Date
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
Thomas Waldmann	8eba627b29	scripts: make.py clean implementation	2024-02-09 17:37:46 +01:00
Thomas Waldmann	4d424de69e	scripts: update docs about make.py	2024-02-09 17:37:44 +01:00
Thomas Waldmann	59bca06630	scripts: rename gendocs.py to make.py	2024-02-09 17:37:43 +01:00