diff options
author | Edwin Groothuis <edwin@FreeBSD.org> | 2006-05-10 22:37:39 +0000 |
---|---|---|
committer | Edwin Groothuis <edwin@FreeBSD.org> | 2006-05-10 22:37:39 +0000 |
commit | efe7d5f7f4ccf1419e95119b11ef8933de183ffd (patch) | |
tree | 6427ac7192f84d32d22f51df854472cc309545dc /math/proofgeneral/Makefile | |
parent | b88236b45ef5afcdc78a4981a19422b12ca70ff4 (diff) | |
download | ports-efe7d5f7f4ccf1419e95119b11ef8933de183ffd.tar.gz ports-efe7d5f7f4ccf1419e95119b11ef8933de183ffd.zip |
Notes
Diffstat (limited to 'math/proofgeneral/Makefile')
-rw-r--r-- | math/proofgeneral/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index c053883a05b6..e483e53adc70 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -51,7 +51,6 @@ MAKE_ARGS+= EMACS_NAME=${EMACS_NAME} EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR} USE_EMACS= yes USE_GMAKE= yes USE_PERL5= yes -USE_REINPLACE= yes SUB_FILES= pkg-message SUB_LIST= EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR} |