From 20b3102d1fe1d4511b2729a3e0707ffecb22c581 Mon Sep 17 00:00:00 2001 From: danielque Date: Tue, 17 Jul 2018 09:23:56 +0200 Subject: [PATCH] [DOC] update gitignore file --- doc/.gitignore | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) diff --git a/doc/.gitignore b/doc/.gitignore index 44599544..9bbc53b6 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,7 +1,12 @@ -*.o -*.d -*.a -*.dep -log_* -log.* +# ignore generated files and folders +*.html +*.rst +*.inv *~ +searchindex.js + +_build +_sources +_static +_images +