diff options
| author | Markus Heiser <markus.heiser@darmarit.de> | 2019-12-04 16:48:36 +0100 |
|---|---|---|
| committer | Markus Heiser <markus.heiser@darmarit.de> | 2019-12-12 12:39:38 +0100 |
| commit | af2cae6d1d71859e867a9fbc5da604ef6a898794 (patch) | |
| tree | 648bcb7d4e23ad3a39696fad2585357f0c94dbd6 /.gitignore | |
| parent | 25fa7da6c8276ed8958793e1b88071eab6b413f5 (diff) | |
doc: make use of sphinx.ext.extlinks & sphinx.ext.intersphinx
- add sphinx extensions
- patch documentation to make use of
These modules help to simplify the reST markup of external references. BTW it
helps to write more readable reST and form custom brands.
Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions