diff options
| author |   Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2016-05-11 15:46:09 +0200 |
|---|---|---|
| committer | Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2016-05-11 19:51:34 +0000 |
| commit | 50986a8592ecad642452e0cf13bf5b51a628a5d5 (patch) | |
| tree | eda4d3b09cabcd119d18c8cb63782cb53199058d /ci | |
| parent | 54b6ac34045381804cb4670816f9e3cf1f4e4e18 (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
(cherry picked from commit 6c90cb7ead70605a3daf5df6a37357b01f17d3b2)
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions