13 commits

Author	SHA1	Message	Date
Marian Beermann	13adc80cde	docs: usage: avoid bash highlight, [options] instead of <options>	2017-06-07 00:44:53 +02:00
Marian Beermann	8fb7db71bc	docs: split usage	2017-06-07 00:38:48 +02:00
enkore	226d1f6094	Revert "docs: borg_domain for custom priority index entries"	2017-05-22 20:45:29 +02:00
Marian Beermann	7284413e3f	docs: borg_domain for custom priority index entries	2017-05-22 20:08:11 +02:00
Marian Beermann	b7a6ac94c3	docs: ran build_man, build_usage	2017-05-17 11:52:48 +02:00
Thomas Waldmann	251983a741	ran setup.py build_usage	2017-03-27 01:45:45 +02:00
Thomas Waldmann	12f55f4e9f	Merge branch '1.0-maint'	2016-07-06 01:33:53 +02:00
Thomas Waldmann	740c638030	update usage files	2016-07-05 23:30:08 +02:00
Marian Beermann	0a369c0985	Better help texts and Sphinx reproduction of usage ... - Group options - Nicer list of options in Sphinx - Deduplicate 'Common options' (including --help) The latter is done by explicitly declaring --help in the common_parser, which is then inherited by the sub-parsers; no change in observable behaviour.	2016-04-10 01:28:19 +02:00
Thomas Waldmann	cece7f9e6d	merged 1.0-maint into master	2016-04-10 01:13:35 +02:00
Thomas Waldmann	d5d037b97d	ran build_api build_usage	2016-04-08 23:38:46 +02:00
Daniel Reichelt	9adf13d8b9	add changes from running build_api and build_usage	2016-03-17 14:35:56 +01:00
Thomas Waldmann	f7abff87f9	ran build_usage	2015-12-08 10:21:20 +01:00