summaryrefslogtreecommitdiff
path: root/docs/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'docs/Makefile')
-rw-r--r--docs/Makefile1
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile
index 96978d893ef85..a409cf6025bdf 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -8,7 +8,6 @@
##===----------------------------------------------------------------------===##
CLANG_LEVEL := ..
-DIRS := tools
ifdef BUILD_FOR_WEBSITE
PROJ_OBJ_DIR = .