From 1ad7bc885d69c291f643952c08a36fd97eb54c21 Mon Sep 17 00:00:00 2001
From: Aleksander Morgado <aleksander@lanedo.com>
Date: Tue, 28 Feb 2012 00:17:40 +0100
Subject: [PATCH] build: ensure gtk-doc is enabled when doing dist

---
 docs/Makefile.am | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/docs/Makefile.am b/docs/Makefile.am
index 36868ac5..71b71a71 100644
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -1,2 +1,14 @@
 
 SUBDIRS = reference man
+
+# require gtk-doc when making dist
+#
+if ENABLE_GTK_DOC
+dist-check-gtk-doc:
+else
+dist-check-gtk-doc:
+	@echo "*** gtk-doc must be enabled in order to make dist"
+	@false
+endif
+
+dist-hook: dist-check-gtk-doc