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 <geoffroy.vancutsem@intel.com>
This commit is contained in:
Geoffroy Van Cutsem 2019-09-03 13:31:30 +02:00
parent 9bb21aca64
commit ff91d07337
1 changed files with 0 additions and 1 deletions

1
.gitignore vendored
View File

@ -1,6 +1,5 @@
doc/doxygen
doc/_build
doc/tools
doc/reference/kconfig/*.rst
doc/misc
build