diff --git a/.gitignore b/.gitignore index ccb0c7fc..bf6b5205 100644 --- a/.gitignore +++ b/.gitignore @@ -25,3 +25,21 @@ Thumbs.db # vim swap files ##################### *.*sw* + +# documentation +##################### +documentation/API/html/ +documentation/UserManual/html/ +documentation/UserManual/*.4ct +documentation/UserManual/*.4tc +documentation/UserManual/*.aux +documentation/UserManual/*.dvi +documentation/UserManual/*.css +documentation/UserManual/*.html +documentation/UserManual/*.idv +documentation/UserManual/*.lg +documentation/UserManual/*.out +documentation/UserManual/*.tmp +documentation/UserManual/*.toc +documentation/UserManual/*.xref +documentation/UserManual/*.xref