diff options
| author | jkh <jkh@FreeBSD.org> | 1994-10-01 08:00:16 +0800 |
|---|---|---|
| committer | jkh <jkh@FreeBSD.org> | 1994-10-01 08:00:16 +0800 |
| commit | cde3a0e320d87378ab033656bc6dcec9f081de99 (patch) | |
| tree | c07b1eb30082c6fb6aa5d215a5894490d0ab785e /print/xdvi/Makefile | |
| parent | 6ffcdc118fee80606b7ffe5e67b848d1516f7625 (diff) | |
| download | freebsd-ports-gnome-cde3a0e320d87378ab033656bc6dcec9f081de99.tar.gz freebsd-ports-gnome-cde3a0e320d87378ab033656bc6dcec9f081de99.tar.zst freebsd-ports-gnome-cde3a0e320d87378ab033656bc6dcec9f081de99.zip | |
Jean-Marc Zucconi's xdvi port.
Submitted by: jmz
Diffstat (limited to 'print/xdvi/Makefile')
| -rw-r--r-- | print/xdvi/Makefile | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/print/xdvi/Makefile b/print/xdvi/Makefile new file mode 100644 index 000000000000..1ada50b4a504 --- /dev/null +++ b/print/xdvi/Makefile @@ -0,0 +1,22 @@ +DISTFILES= xdvi.tar.Z +DISTNAME= xdvi +MASTER_SITES= ftp://ftp.x.org/contrib/applications/ +USE_IMAKE= yes +USE_GMAKE= yes + +DEST=/usr/local + +#gnu make required for 'make Makefiles' +MAKE= ${GMAKE} + +install: + @echo "===> Installing for ${DISTNAME}" + @mkdir -p /usr/local/man/man1 + @mkdir -p /usr/local/bin + @(cd ${WRKSRC}; ${GMAKE} install.man \ + MANDIR=${DEST}/man/man1 MANSUFFIX=1) + @(cd ${WRKSRC}; ${GMAKE} ${MAKE_FLAGS} ${MAKEFILE} xdvi.man) + @(cd ${WRKSRC}; ${GMAKE} -f Makefile install BINDIR=${DEST}/bin) + @(cd ${WRKSRC}; install -c -m 755 -o bin MakeTeXPK ${DEST}/bin) + +.include <bsd.port.mk> |