From ff91d073373eb882be19f8cb292221856460f496 Mon Sep 17 00:00:00 2001 From: Geoffroy Van Cutsem Date: Tue, 3 Sep 2019 13:31:30 +0200 Subject: [PATCH] doc: update .gitignore to reflect the new location of the tools Update the .gitignore file to reflect the fact that the tools are now located under misc/ and no longer under tools/. One of the temporary folder created during the documentation generation was doc/tools and it was therefore ignored by Git. It is now better to *not* ignore it as it will cause documention build issues if such previous folder exists. Signed-off-by: Geoffroy Van Cutsem --- .gitignore | 1 - 1 file changed, 1 deletion(-) diff --git a/.gitignore b/.gitignore index 0ae64ac35..45ebf3129 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,5 @@ doc/doxygen doc/_build -doc/tools doc/reference/kconfig/*.rst doc/misc build