aboutsummaryrefslogtreecommitdiffstats
path: root/math/proofgeneral
diff options
context:
space:
mode:
Diffstat (limited to 'math/proofgeneral')
-rw-r--r--math/proofgeneral/Makefile1
1 files changed, 0 insertions, 1 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile
index c053883a05b..e483e53adc7 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}