diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-04-19 11:03:46 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-04-19 11:03:46 +0200 |
| commit | 6af69f851a3f967769697afa997935c37b4336b0 (patch) | |
| tree | b7ba63b1e3e3a817deca871b821a302064414d96 /doc/tools | |
| parent | 1b3ea697c5dcbbb2feb0f96204de257532edaf0c (diff) | |
doc: Drop unused <demos> tag
Diffstat (limited to 'doc/tools')
| -rw-r--r-- | doc/tools/doc_status.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tools/doc_status.py b/doc/tools/doc_status.py index 4bb4342d5f..974ac2d05c 100644 --- a/doc/tools/doc_status.py +++ b/doc/tools/doc_status.py @@ -261,7 +261,7 @@ class ClassStatus: for sub_tag in list(tag): status.progresses[tag.tag].increment(len(sub_tag.text.strip()) > 0) - elif tag.tag in ['tutorials', 'demos']: + elif tag.tag in ['tutorials']: pass # Ignore those tags for now elif tag.tag in ['theme_items']: |