diff options
| author |   Guillaume Lambert <guillaume.lambert@orange.com> | 2021-02-02 15:48:14 +0100 |
|---|---|---|
| committer | Guillaume Lambert <guillaume.lambert@orange.com> | 2021-02-02 15:58:34 +0100 |
| commit | 406a9c94549c014fab8d777a788832f3a9197703 (patch) | |
| tree | b512ef7b1ba7d712d69245fc9dae740f1dc48cc9 /tools/checkrtd.sh | |
| parent | faffc27b609a194af9277ec247291ae86e4817c3 (diff) | |
[DOC] Remove tox.ini doppelganger
in docs folder
- same profiles are declared in tox.ini.
They can be calld from the docs folder without it.
- once run from the docs folder, this generates invalid files
in doc/.tox for linters setup (e.g. docs/.tox/[..]/invalid.rst).
They can cause warnings treated as errors by root tox profiles.
Issue-ID: DOC-692
Signed-off-by: Guillaume Lambert <guillaume.lambert@orange.com>
Change-Id: I473ae1193c1e5b124c8532a1b8185f01c67c70de
Diffstat (limited to 'tools/checkrtd.sh')
0 files changed, 0 insertions, 0 deletions