1999-11-14 04:47:07 +01:00
|
|
|
# New ports collection makefile for: Hyperlatex
|
|
|
|
|
# Date created: 2 August 1994
|
|
|
|
|
# Whom: Robert Withrow <witr@rwwa.com>
|
|
|
|
|
#
|
|
|
|
|
# $FreeBSD$
|
|
|
|
|
#
|
|
|
|
|
|
2000-04-09 19:50:59 +02:00
|
|
|
PORTNAME= Hyperlatex
|
2003-07-24 16:41:27 +02:00
|
|
|
PORTVERSION= 2.6
|
1999-11-14 04:47:07 +01:00
|
|
|
CATEGORIES= print
|
2003-07-24 16:41:27 +02:00
|
|
|
MASTER_SITES= http://www.cs.uu.nl/~otfried/Hyperlatex/
|
1999-11-14 04:47:07 +01:00
|
|
|
|
|
|
|
|
MAINTAINER= witr@rwwa.com
|
2003-02-21 14:28:59 +01:00
|
|
|
COMMENT= Produce HTML and printed documents from LaTeX source
|
1999-11-14 04:47:07 +01:00
|
|
|
|
2004-03-21 08:39:49 +01:00
|
|
|
BUILD_DEPENDS= emacs:${PORTSDIR}/editors/emacs
|
|
|
|
|
RUN_DEPENDS= emacs:${PORTSDIR}/editors/emacs \
|
2003-07-24 16:41:27 +02:00
|
|
|
latex:${PORTSDIR}/print/teTeX \
|
|
|
|
|
ppmtogif:${PORTSDIR}/graphics/netpbm
|
1999-11-14 04:47:07 +01:00
|
|
|
|
2003-07-24 16:41:27 +02:00
|
|
|
USE_REINPLACE= yes
|
1999-11-14 04:47:07 +01:00
|
|
|
LATEX_DIR= ${PREFIX}/share/texmf/tex/latex
|
|
|
|
|
HYPERLATEX_DIR= ${PREFIX}/share/texmf/tex/latex/hyperlatex
|
|
|
|
|
|
2003-07-24 16:41:27 +02:00
|
|
|
do-configure:
|
|
|
|
|
@(cd ${WRKSRC} && \
|
|
|
|
|
${REINPLACE_CMD} -e 's|http://www.cs.uu.nl/\\~{}otfried/img/||' siteinit.hlx && \
|
|
|
|
|
${REINPLACE_CMD} -e 's|$$HOME/Hyperlatex/Hlx|${PREFIX}/share/texmf/tex/latex/hyperlatex|' hyperlatex)
|
|
|
|
|
|
1999-11-14 04:47:07 +01:00
|
|
|
do-build:
|
|
|
|
|
cd ${WRKSRC}; emacs -batch -q -no-site-file -l hyperlatex.el -f hyperlatex-compile
|
|
|
|
|
|
|
|
|
|
do-install:
|
|
|
|
|
${INSTALL_SCRIPT} ${WRKSRC}/hyperlatex ${PREFIX}/bin
|
|
|
|
|
${INSTALL_SCRIPT} ${WRKSRC}/ps2gif ${PREFIX}/bin
|
|
|
|
|
${INSTALL_DATA} ${WRKSRC}/hyperlatex.sty ${LATEX_DIR}
|
|
|
|
|
${MKDIR} ${HYPERLATEX_DIR}
|
|
|
|
|
cd ${WRKSRC}; for f in *.el *.elc *.hlx *.xbm *.awk ; do \
|
|
|
|
|
if [ -f $$f ]; then ${INSTALL_DATA} $$f ${HYPERLATEX_DIR}; fi; done
|
|
|
|
|
|
|
|
|
|
.include <bsd.port.mk>
|
