From d62b9a156b338a52fa5bf311311e8b8b8aa99b6f Mon Sep 17 00:00:00 2001
From: Nick Schermer <nick@xfce.org>
Date: Wed, 8 Jan 2014 19:37:16 +0100
Subject: [PATCH] Drop old docs module.

---
 .gitmodules | 3 ---
 Makefile.am | 1 -
 autogen.sh  | 1 -
 doc         | 1 -
 4 files changed, 6 deletions(-)
 delete mode 160000 doc

diff --git a/.gitmodules b/.gitmodules
index c036f58..e69de29 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +0,0 @@
-[submodule "doc"]
-	path = doc
-	url = git://git.xfce.org/xfce/xfce4-docs
diff --git a/Makefile.am b/Makefile.am
index 6ffa8d9..6aef17a 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -1,6 +1,5 @@
 SUBDIRS =								\
 	po								\
-	doc								\
 	src
 
 desktopdir = $(datadir)/applications
diff --git a/autogen.sh b/autogen.sh
index afb596b..55007f7 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -11,5 +11,4 @@ EOF
 }
 
 XDT_AUTOGEN_REQUIRED_VERSION="4.7.3" \
-XDT_AUTOGEN_CHECK_DOCS="doc" \
 exec xdt-autogen $@
diff --git a/doc b/doc
deleted file mode 160000
index 204be31..0000000
--- a/doc
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 204be31d03158fa84cb5dc4b3a7f0781fe56091e