doc: fix issues from moving tools to misc/tools

PR #3483 cleaned up the project root folder and moved stuff that was in
/tools into a new /misc folder.  There were a few references to
the old /tools folder missed in that update, addressed in this PR.

Signed-off-by: David B. Kinder <david.b.kinder@intel.com>
This commit is contained in:
David B. Kinder
2019-07-29 14:04:20 -07:00
committed by David Kinder
parent f44517c772
commit 8ee1615e51
3 changed files with 6 additions and 6 deletions

View File

@@ -64,7 +64,7 @@ singlehtml: doxy content kconfig
clean:
rm -fr $(BUILDDIR) doxygen
rm -fr tools
rm -fr misc
rm -fr reference/kconfig/*.rst
# Copy material over to the GitHub pages staging repo