From e8a5d2ceba311a44aca2e32a35ec356bfe1b3dc8 Mon Sep 17 00:00:00 2001 From: Daniel Chappuis Date: Wed, 3 Oct 2018 22:14:59 +0200 Subject: [PATCH] Edit .gitignore file --- .gitignore | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) 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