Do not choke on very old make around when gtk-doc-tools are not available

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@257 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/cruft/doc/Makefile.am b/cruft/doc/Makefile.am
index be1dd8b..2eceab2 100644 (file)
--- a/cruft/doc/Makefile.am
+++ b/cruft/doc/Makefile.am
@@ -130,6 +130,8 @@ html-build.stamp: sgml.stamp $(DOC_MAIN_SGML_FILE) $(content_files)
        @echo '-- Fixing Crossreferences' 
        cd $(srcdir) && gtkdoc-fixxref --module-dir=html --html-dir=$(HTML_DIR) $(FIXXREF_OPTIONS)
        touch html-build.stamp
+else
+all-local: 
 endif
 
 ##############