doxygen documentation cannot be built using a seperate build directory but we do...

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 852d249..0c2cbcf 100644 (file)
--- 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