From eb08ee3aea0169dae56735fa5485313d52e28fbe Mon Sep 17 00:00:00 2001
From: Christian Engwer <christi@dune-project.org>
Date: Wed, 20 Jan 2010 22:45:21 +0000
Subject: [PATCH] fix make install and make dist for doxygen

[[Imported from SVN: r5843]]
---
 am/doxygen | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/am/doxygen b/am/doxygen
index b85301d97..4e19b1909 100644
--- a/am/doxygen
+++ b/am/doxygen
@@ -69,7 +69,7 @@ doxygen-html-install:
 	set -e; \
 	OLDPWD=$$PWD; \
 	dir=$(abs_srcdir); \
-	if test -d $(abs_builddir)/$(DOXYGENTAG); then dir=$(abs_builddir); fi; \
+	if test -f $(abs_builddir)/$(DOXYGENTAG); then dir=$(abs_builddir); fi; \
 	cd "$$dir/html/"; \
 	list=`echo $(DOXYGENHTMLFILES)`; \
 	cd "$$OLDPWD"; \
-- 
GitLab