Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile1
1 files changed, 0 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index f860a74..fcf9fa8 100644
--- a/Makefile
+++ b/Makefile
@@ -13,4 +13,3 @@ all: build
include Makefile.config
include Makefile.commands
include Makefile.snapshot
-include Makefile.docs