diff options
Diffstat (limited to 'www/weblint')
-rw-r--r-- | www/weblint/Makefile | 4 | ||||
-rw-r--r-- | www/weblint/pkg-plist | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/www/weblint/Makefile b/www/weblint/Makefile index 41606091a8cc..6498fe36e4ac 100644 --- a/www/weblint/Makefile +++ b/www/weblint/Makefile @@ -3,7 +3,7 @@ # Date created: Oct 14, 1995 # Whom: pst # -# $Id: Makefile,v 1.5 1996/07/20 22:30:35 pst Exp $ +# $Id: Makefile,v 1.6 1996/11/18 11:42:18 asami Exp $ # DISTNAME= weblint-1.017 @@ -12,4 +12,6 @@ MASTER_SITES= ftp://ftp.khoral.com/pub/weblint/ MAINTAINER= pst@FreeBSD.ORG +MAN1= weblint.1 + .include <bsd.port.mk> diff --git a/www/weblint/pkg-plist b/www/weblint/pkg-plist index d7d1cd20681c..ed2fdab196db 100644 --- a/www/weblint/pkg-plist +++ b/www/weblint/pkg-plist @@ -1,3 +1,3 @@ bin/weblint lib/weblintrc -man/man1/weblint.1 +man/man1/weblint.1.gz |