From fdb366161cee3d8e215da1b2ca895df093112636 Mon Sep 17 00:00:00 2001 From: Andrew McMillan Date: Thu, 19 Jun 2008 12:42:36 +1200 Subject: [PATCH] Downgrade doc build failure to a NOTICE. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index ddec6fa2..b6f5dcbb 100755 --- a/Makefile +++ b/Makefile @@ -7,7 +7,7 @@ version=$(shell cat VERSION) all: inc/always.php built-docs built-po built-docs: docs/api/phpdoc.ini htdocs/*.php inc/*.php - phpdoc -c docs/api/phpdoc.ini || echo "WARNING: failed to build docs" + phpdoc -c docs/api/phpdoc.ini || echo "NOTICE: Failed to build optional API docs" touch built-docs built-po: built-docs inc/always.php scripts/po/rebuild-translations.sh scripts/po/extract.pl po/*.po