aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile9
1 files changed, 0 insertions, 9 deletions
diff --git a/Makefile b/Makefile
index 599bcb3..f1b28f2 100644
--- a/Makefile
+++ b/Makefile
@@ -41,15 +41,6 @@ endif
all: compile escript dialyzer test
# =============================================================================
-# Include relevant sub-makefiles.
-# =============================================================================
-# These are not subdirs, they are just additional makefile information
-# that happens to live subdirectories
-
-include $(CURDIR)/docs/docs.mkf
-
-
-# =============================================================================
# Rules to build the system
# =============================================================================