From dbc9f1c33f77f6de59f3c2e99562236e2ab6a1d6 Mon Sep 17 00:00:00 2001 From: Jens Thiele Date: Wed, 14 Feb 2007 12:52:36 +0000 Subject: [PATCH] doxygen documentation cannot be built using a seperate build directory but we do not want to let the build fail => for now disable doxygen when using a seperate build directory --- doc/Makefile.am | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/doc/Makefile.am b/doc/Makefile.am index 0c2cbcf..c1297fe 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -10,6 +10,6 @@ all: $(MANUALS) # todo: separate build dir still doesn't work html/index.html: $(top_srcdir)/src/*.cpp $(top_srcdir)/src/*.hxx $(top_srcdir)/codegen/*.hxx $(top_srcdir)/codegen/*.cpp $(srcdir)/index.doc - if [ "$srcdir" = "$builddir" ]; then $(DOXYGEN); else echo "FIXME: doxygen documentation cannot be built using a seperate build directory"; fi + if test -f header.html; then $(DOXYGEN); else echo "FIXME: doxygen documentation cannot be built using a seperate build directory"; fi EXTRA_DIST = index.doc header.html -- 1.7.1