mirror of
https://git.freebsd.org/ports.git
synced 2025-06-25 06:30:29 -04:00
dd39ab1c69
This port needs some work to respect NOPORTDOCS, DATADIR, DOCSDIR. PR: ports/106715 Submitted by: Jose Fernandes <jose at diasfernandes.pt> Approved by: maintainer timeout (16 days)
23 lines
529 B
Makefile
23 lines
529 B
Makefile
# New ports collection makefile for: htmldoc
|
|
# Date created: 12 June 2001
|
|
# Whom: Glenn Trewitt <glenn@trewitt.org>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= htmldoc
|
|
PORTVERSION= 1.8.27
|
|
CATEGORIES= textproc
|
|
MASTER_SITES= ${MASTER_SITE_EASYSW}
|
|
MASTER_SITE_SUBDIR= ${PORTNAME}/${PORTVERSION}
|
|
DISTNAME= ${PORTNAME}-${PORTVERSION}-source
|
|
|
|
MAINTAINER= glenn@trewitt.org
|
|
COMMENT= Converts HTML to PDF and/or PostScript
|
|
|
|
GNU_CONFIGURE= yes
|
|
WRKSRC= ${WRKDIR}/${PORTNAME}-${PORTVERSION}
|
|
|
|
MAN1= htmldoc.1
|
|
|
|
.include <bsd.port.mk>
|