 Thomas Waldmann
|
51cf85e627
build_usage / build_man / doc updates
|
hace 2 años |
|
Marian Beermann
|
a9059a64bd
docs: use DOM ready event, not document loaded event
|
hace 8 años |
|
Marian Beermann
|
9d33ff1720
docs: skip empty option groups
|
hace 8 años |
|
Marian Beermann
|
e869e7dc2f
ran build_usage
|
hace 8 años |
|
Marian Beermann
|
a1a92bf00f
docs: less space waste following "Common options"
|
hace 8 años |
|
Marian Beermann
|
e5012b11ca
ran build_usage
|
hace 8 años |
|
Marian Beermann
|
13adc80cde
docs: usage: avoid bash highlight, [options] instead of <options>
|
hace 8 años |
|
Marian Beermann
|
8fb7db71bc
docs: split usage
|
hace 8 años |
|
enkore
|
226d1f6094
Revert "docs: borg_domain for custom priority index entries"
|
hace 8 años |
|
Marian Beermann
|
7284413e3f
docs: borg_domain for custom priority index entries
|
hace 8 años |
|
Marian Beermann
|
b7a6ac94c3
docs: ran build_man, build_usage
|
hace 8 años |
|
Thomas Waldmann
|
251983a741
ran setup.py build_usage
|
hace 8 años |
|
Thomas Waldmann
|
12f55f4e9f
Merge branch '1.0-maint'
|
hace 9 años |
|
Thomas Waldmann
|
740c638030
update usage files
|
hace 9 años |
|
Marian Beermann
|
0a369c0985
Better help texts and Sphinx reproduction of usage
|
hace 9 años |
|
Thomas Waldmann
|
cece7f9e6d
merged 1.0-maint into master
|
hace 9 años |
|
Thomas Waldmann
|
d5d037b97d
ran build_api build_usage
|
hace 9 años |
|
Daniel Reichelt
|
9adf13d8b9
add changes from running build_api and build_usage
|
hace 9 años |
|
Thomas Waldmann
|
f7abff87f9
ran build_usage
|
hace 9 años |
|
Antoine Beaupré
|
8e36075fe9
commit usage files directly into git
|
hace 9 años |
