ignore user-generated docs files

and remove already committed files from the tree
certtools · Mar 17, 2024 · 1e3e5c2 · 1e3e5c2
1 parent 42a9bfa
commit 1e3e5c2
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3,547 deletions.
diff --git a/.gitignore b/.gitignore
@@ -31,7 +31,9 @@ venv/
 .env
 
 # mkdocs
-docs_build
+docs_build/
+docs/user/feeds.md
+docs/user/event.md
 
 # Debian build filed
 debian/files