From 339b53b0f377422e56fc4a16f060d06f5e9d8659 Mon Sep 17 00:00:00 2001 From: Jens Thiele Date: Wed, 14 Feb 2007 10:24:04 +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 852d249..0c2cbcf 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 - $(DOXYGEN) + if [ "$srcdir" = "$builddir" ]; 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