Update requirements.txt

anoma · Jun 3, 2024 · 7dcdfdd · 7dcdfdd
1 parent 4dd2072
commit 7dcdfdd
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 4 deletions.
diff --git a/Makefile b/Makefile
@@ -179,7 +179,7 @@ mike:
 	@echo "Branch: ${GITBRANCH}"
 	mike deploy ${VERSION} ${MIKEFLAGS}
 
-mike-serve: docs
+mike-serve:
 	mike serve --dev-addr localhost:${PORT} --config-file ${MKDOCSCONFIG}
 
 .PHONY: dev

diff --git a/mkdocs.insiders.yml b/mkdocs.insiders.yml
@@ -17,7 +17,6 @@ plugins:
   - redirects:
       redirect_maps:
         'index.md': 'README.juvix.md'
-
   - blog:
       enabled: !ENV [BLOG, true]
       blog_dir: blog
@@ -38,7 +37,6 @@ plugins:
       pagination: true
       # pagination_per_page: 1
       pagination_keep_content: false
-
   - git-revision-date-localized:
       type: timeago
       custom_format: "%d. %B %Y"
@@ -54,7 +52,6 @@ plugins:
         - LICENSE.md
       enabled: true
       strict: true
-
   - rss:
       match_path: blog/posts/.*
       date_from_meta:

diff --git a/requirements.txt b/requirements.txt
@@ -6,6 +6,7 @@ mkdocs-material
 mkdocs-material[imaging]
 mkdocs-juvix-plugin
 mkdocs-redirects
+mkdocs-rss-plugin
 mkdocstrings
 mike
 html5lib