diff options
author | 2016-05-11 15:46:09 +0200 | |
---|---|---|
committer | 2016-05-11 15:48:31 +0200 | |
commit | 6c90cb7ead70605a3daf5df6a37357b01f17d3b2 (patch) | |
tree | eda4d3b09cabcd119d18c8cb63782cb53199058d /docs/conf.py | |
parent | b7ef35632a10fb21a94c3fa20fbe238d2f34b800 (diff) |
docs/build-instruction.rst: Cleanup, refactor tags.
Add missing bash (console) code-block tags to commands and preformatted
output / configuration sections.
While we're at it, fix git clone URL for https, and clarify a few
paragraphs.
Change-Id: Ifb1ef0a8a9befa57e68255354957e094a124ab7e
Diffstat (limited to 'docs/conf.py')
0 files changed, 0 insertions, 0 deletions