diff options
Diffstat (limited to 'editors/flim-emacs20')
-rw-r--r-- | editors/flim-emacs20/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/flim-emacs20/Makefile b/editors/flim-emacs20/Makefile index 27a5ced6a79f..eb7561a2d3c6 100644 --- a/editors/flim-emacs20/Makefile +++ b/editors/flim-emacs20/Makefile @@ -3,7 +3,7 @@ # Date created: 23 September 1998 # Whom: Shigeyuki FUKUSHIMA <shige@kuis.kyoto-u.ac.jp> # -# $Id: Makefile,v 1.2 1999/01/18 02:33:02 steve Exp $ +# $Id: Makefile,v 1.3 1999/01/28 10:14:24 asami Exp $ # DISTNAME= flim-${FLIM_VER} @@ -39,7 +39,7 @@ EMACS_CMD= ${PREFIX}/bin/${EMACS_NAME}-${EMACS_VER} .include <bsd.port.pre.mk> .if ${OSVERSION} >= 300006 -MAKEINFO= makeinfo --no-split --force +MAKEINFO= makeinfo --no-split --no-validate .else MAKEINFO= makeinfo --no-split .endif |