diff --git a/doc/.gitignore b/doc/.gitignore index cc4408107..77a87c895 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -3,4 +3,13 @@ user/**/*.html devel/rfc*/**/*.html devel/draw/**/*.png user/**/*.html +/broken_links +/documentation +/css +/js +/page.conf +/images +/menu.html +.* +*~