From 34836f04312dea494408642d70bc4f015cc9e130 Mon Sep 17 00:00:00 2001 From: Georg Hopp Date: Thu, 10 Oct 2013 23:43:35 +0100 Subject: [PATCH] EXTRA_DIST should not be dependent on the existence of doxygen --- docs/Makefile.am | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/Makefile.am b/docs/Makefile.am index d9da722..4fa3586 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -1,7 +1,7 @@ -if HAVE_DOXYGEN - EXTRA_DIST = Doxyfile.in +if HAVE_DOXYGEN + .PHONY: docs docs: