From 1eeb21507d8ab6f063d0f3a6c42c067404c03ac3 Mon Sep 17 00:00:00 2001
From: Patrick Monnerat <patrick@monnerat.net>
Date: Sat, 19 Jan 2019 01:16:36 +0100
Subject: Allow to "make dist" without building the docs.

---
 docs/Makefile.am | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/docs/Makefile.am b/docs/Makefile.am
index 506fe6a..47e8ab0 100644
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -62,10 +62,6 @@ CSS_FILES = xsl/style.css
 CSSdir = $(HTMLdir)
 CSS_DATA = $(CSS_FILES)
 
-BUILT_SOURCES = 		\
-	reference/builddate.xml	\
-	$(HTML_FILES)
-
 CLEANFILES = 			\
 	caja-python-ref.*	\
 	reference/builddate.xml	\
@@ -85,6 +81,10 @@ REFERENCE_DEPS = 	\
 
 if ENABLE_GTK_DOC
 
+BUILT_SOURCES = 		\
+	reference/builddate.xml	\
+	$(HTML_FILES)
+
 reference/builddate.xml: $(REFERENCE_DEPS)
 	$(PYTHON) -c 'import datetime; print datetime.date.today()' > $@
 
-- 
cgit v1.2.1