From b876c2ef54ab97f1980e95ac0da4c046b06e602d Mon Sep 17 00:00:00 2001 From: Andrew McMillan Date: Thu, 1 Nov 2007 23:09:43 +1300 Subject: [PATCH] Only warn when we fail to build the docs. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 24f02d21..3c3d9e10 100755 --- a/Makefile +++ b/Makefile @@ -7,7 +7,7 @@ version=$(shell cat VERSION) all: inc/always.php built-docs built-docs: docs/api/phpdoc.ini htdocs/*.php inc/*.php - phpdoc -c docs/api/phpdoc.ini + phpdoc -c docs/api/phpdoc.ini || echo "WARNING: failed to build docs" touch built-docs #