From d453cc20baf0f30939c14bbc76dd991c23eb1cb9 Mon Sep 17 00:00:00 2001 From: Andrew McMillan Date: Sun, 11 Sep 2011 00:47:10 +1200 Subject: [PATCH] Add a default target which omits building the docs. --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index 09017ec9..33fd4e93 100755 --- a/Makefile +++ b/Makefile @@ -10,6 +10,8 @@ snapshot : gitrev = $(shell git rev-parse --short HEAD) snapshot : version = $(majorversion)-git$(gitrev) snapshot : issnapshot = 1 +nodocs: htdocs/always.php built-po + all: htdocs/always.php built-docs built-po built-docs: docs/api/phpdoc.ini htdocs/*.php inc/*.php docs/translation.rst