diff options
| author | Mark Linimon <linimon@FreeBSD.org> | 2003-11-03 13:06:40 +0000 |
|---|---|---|
| committer | Mark Linimon <linimon@FreeBSD.org> | 2003-11-03 13:06:40 +0000 |
| commit | 279335b8ba05e95436e3d0762025a3cfb938a814 (patch) | |
| tree | a2d9e62f2c1c3f168517ff1822bf174c8e5b3b2f /print | |
| parent | hidentd is a simple and secure GPLed ident (RFC1413) server. It (diff) | |
Maintainer correctly points out that the PR that I committed against
was older than the last checkin which contained a workaround. That's
absolutely correct and my apologies.
Notes
Notes:
svn path=/head/; revision=92959
Diffstat (limited to 'print')
| -rw-r--r-- | print/tex/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/print/tex/Makefile b/print/tex/Makefile index 444ff6f1600e..ba2e8fb1109c 100644 --- a/print/tex/Makefile +++ b/print/tex/Makefile @@ -22,8 +22,6 @@ EXTRACT_ONLY= web2c-7.2b.tar.gz web-7.2a.tar.gz tex_base.tar.gz cm_tfm.tar.gz \ MAINTAINER= jmz@FreeBSD.org COMMENT= TeX and METAFONT -BROKEN= "most distfiles referred to in this port fail to fetch; port needs update" - DIST_SUBDIR= tex USE_GMAKE= yes |