updated documentation after a readthrough

[redirect-tools] / .gitignore

diff --git a/.gitignore b/.gitignore
index 77320b339fe11a618a93b46e70be95d88a52a9e7..5bf2ab9147c8f221d463fa743a7ec474b0cccf7d 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,3 @@
 output/*
+docs/*html
+