From 31393f6024416ea1b2e61d1080dfd7104df36eda Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B8rn=20Erik=20Pedersen?=
 <bjorn.erik.pedersen@gmail.com>
Date: Mon, 26 Jun 2017 20:39:53 +0200
Subject: [PATCH] Remove the docs submodule

Will be replaced by a Git subtree.

See #3647
---
 .gitmodules | 4 ----
 docs        | 1 -
 2 files changed, 5 deletions(-)
 delete mode 160000 docs

diff --git a/.gitmodules b/.gitmodules
index 235f9a577..e69de29bb 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,4 +0,0 @@
-[submodule "docs"]
-	path = docs
-	url = https://github.com/gohugoio/hugoDocs.git
-	ignore = dirty
\ No newline at end of file
diff --git a/docs b/docs
deleted file mode 160000
index 25e6855c2..000000000
--- a/docs
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 25e6855c2833e593b3a7a23690ea0fcac813e7e1