diff --git a/.gitignore b/.gitignore
index a641ede..315f211 100644
--- a/.gitignore
+++ b/.gitignore
@@ -75,3 +75,4 @@ doc/html/search.html
 doc/html/searchindex.js
 doc/html/test.html
 doc/html/index.html
+doc/html/user_manual/