Update distribution user manual

[policy/parent.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index e7637a1..e7d23e9 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -2,6 +2,7 @@
 .project
 .settings
 .classpath
+.checkstyle
 .jupiter
 .pydevproject
 target
@@ -9,7 +10,7 @@ target
 /bin/
 .idea
 **/*.iml
-docs/conf.py
 docs/conf.pyc
 docs/html/
 docs/_static/
+docs/__pycache__/