doc: Fix the error PDFs are needed but doxygen isn't available

diff --git a/doc/Makefile.am b/doc/Makefile.am
index e7a5954084059105e2fee463c256b8d8d4d1d84e..560d503dcf3567bb309e8b04fc1a0b2d14a8c6e5 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,4 +1,4 @@
-# Copyright © 2009-2013 Inria.  All rights reserved.
+# Copyright © 2009-2014 Inria.  All rights reserved.
 # Copyright © 2009-2013 Université Bordeaux 1
 # Copyright © 2009-2010 Cisco Systems, Inc.  All rights reserved.
 # See COPYING in top-level directory.
@@ -203,8 +203,8 @@ $(DOX_LETTERPDF): $(DOX_TAG)
        mv letter-refman.pdf $(DOCDIR)/$(DOX_LETTERPDF)
 
 else
-$(DOX_A4PDF) $(DOX_LETTERPDF): no-build-pdfs
-no-build-pdfs:
+# PDFs are missing, cannot rebuild them
+$(DOX_A4PDF) $(DOX_LETTERPDF):
        @echo "ERROR: You do not have the 'doxygen' executable (or any related dependency) to build the PDF docs."
        @echo "ERROR: Cannot continue."
        @exit 1