From df5d7d738bdd337a5cad1dd0155be9538ad9c01d Mon Sep 17 00:00:00 2001
From: Anas Nashif <anas.nashif@intel.com>
Date: Tue, 7 Nov 2017 20:05:56 -0500
Subject: [PATCH] build: add top-level Makefile for docs

for docs and everything that is not covered by cmake.

Signed-off-by: Anas Nashif <anas.nashif@intel.com>
---
 Makefile | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 00000000000..88c6c2cda2e
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,17 @@
+#
+# Top level makefile for things not covered by cmake
+#
+
+ifeq ($(VERBOSE),1)
+  Q =
+else
+  Q = @
+endif
+
+MAKEFLAGS += --no-print-directory
+export Q
+
+# Documentation targets
+# ---------------------------------------------------------------------------
+htmldocs:
+	$(Q)$(MAKE) -C doc htmldocs