diff options
Diffstat (limited to 'www/py-django12/Makefile')
| -rw-r--r-- | www/py-django12/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/www/py-django12/Makefile b/www/py-django12/Makefile index 44d1792aba16..9686d568c137 100644 --- a/www/py-django12/Makefile +++ b/www/py-django12/Makefile @@ -6,7 +6,7 @@ # PORTNAME= django -PORTVERSION= 1.1.1 +PORTVERSION= 1.2 CATEGORIES= www python MASTER_SITES= http://media.djangoproject.com/releases/${PORTVERSION}/ \ CHEESESHOP @@ -71,6 +71,9 @@ PORTDOCS= * post-build: .if defined(WITH_DOCS) +. if defined(NOPORTDOCS) +IGNORE= you cannot build documentation while setting NOPORTDOCS +. endif cd ${WRKSRC}/docs && ${MAKE} html .endif |