Skip to content

Commit

Permalink
Add extra plugins of themes
Browse files Browse the repository at this point in the history
  • Loading branch information
oprypin authored and pawamoy committed Nov 9, 2023
1 parent 5f2bbb5 commit 1f66772
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 1 deletion.
4 changes: 3 additions & 1 deletion check_projects.py
Original file line number Diff line number Diff line change
Expand Up @@ -107,7 +107,9 @@ def check_install_project(project, install_name, errors=None):
for kind, label in _kind_to_label.items():
items = _get_as_list(project, kind)

if (label in labels) != bool(items):
if label == "plugin" and "theme" in labels and "plugin" not in labels:
pass
elif (label in labels) != bool(items):
errors.append(f"'{label}' label should be present if and only if '{kind}:' is present")

for item in items:
Expand Down
4 changes: 4 additions & 0 deletions projects.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -110,6 +110,7 @@ projects:
category: theming
- name: Bootstrap 4
mkdocs_theme: bootstrap4
mkdocs_plugin: [bootstrap4-blockquotes, bootstrap4-tables]
shadowed: [mkdocs_theme]
github_id: LukeCarrier/mkdocs-theme-bootstrap4
pypi_id: mkdocs-theme-bootstrap4
Expand Down Expand Up @@ -165,6 +166,7 @@ projects:
category: theming
- name: Zettelkasten
mkdocs_theme: zettelkasten-solarized-light
mkdocs_plugin: [zettelkasten]
github_id: buvis-net/mkdocs-zettelkasten
pypi_id: mkdocs-zettelkasten
labels: [theme]
Expand Down Expand Up @@ -196,6 +198,7 @@ projects:
category: theming
- name: Terminal for MkDocs
mkdocs_theme: terminal
mkdocs_plugin: [terminal/md-to-html]
github_id: ntno/mkdocs-terminal
pypi_id: mkdocs-terminal
labels: [theme]
Expand All @@ -208,6 +211,7 @@ projects:
category: theming
- name: Risonia
mkdocs_theme: risonia
mkdocs_plugin: [risonia/color-theme, risonia/w3css-classes]
github_id: unverbuggt/mkdocs-risonia-theme
pypi_id: mkdocs-risonia-theme
labels: [theme]
Expand Down

0 comments on commit 1f66772

Please sign in to comment.