Merge pull request 'docs: remove unused plugin' (#5172) from doc-98 into main
Reviewed-on: https://git.clan.lol/clan/clan-core/pulls/5172
This commit is contained in:
@@ -222,7 +222,6 @@ extra:
|
|||||||
|
|
||||||
plugins:
|
plugins:
|
||||||
- search
|
- search
|
||||||
- macros
|
|
||||||
- redoc-tag
|
- redoc-tag
|
||||||
- redirects:
|
- redirects:
|
||||||
redirect_maps:
|
redirect_maps:
|
||||||
|
|||||||
@@ -37,7 +37,6 @@ pkgs.stdenv.mkDerivation {
|
|||||||
++ (with pkgs.python3Packages; [
|
++ (with pkgs.python3Packages; [
|
||||||
mkdocs
|
mkdocs
|
||||||
mkdocs-material
|
mkdocs-material
|
||||||
mkdocs-macros
|
|
||||||
mkdocs-redoc-tag
|
mkdocs-redoc-tag
|
||||||
mkdocs-redirects
|
mkdocs-redirects
|
||||||
]);
|
]);
|
||||||
|
|||||||
Reference in New Issue
Block a user