.gitignore: also ignore doxygen generated files, thanks to Dirkjan Krijnders

diff --git a/.gitignore b/.gitignore
index c13e2aaec988d4b85c7878e46d2475d2f69c965c..60104f2dd0c022820079a0a8a65b1105b098d058 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -63,3 +63,8 @@ src/config.h
 src/config.h.in
 src/config.h.in~
 src/stamp-h1
+
+# doxygen
+doc/devel/
+doc/user/
+doc/examples/