diff options
Diffstat (limited to 'math/proofgeneral')
-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 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} |