# @configure_input@
-# $Id: Makefile.in,v 1.87 2002-08-10 20:40:59 thib Exp $
+# $Id: Makefile.in,v 1.88 2002-08-11 20:25:57 thib Exp $
# The following should not be edited manually (use configure options)
# If you must do it, BEWARE : some of the following is also defined
# do not ci automaticaly generated files and doc (done by doc's Makefile)
RCSNOCI=.*\(.html\|VERSION\|MANIFEST\|configure\|install.sh\|doc.*\)
-RUN_NON-PRIVILEGED = @RUN_NON_PRIVILEGED@
+RUN_NON_PRIVILEGED = @RUN_NON_PRIVILEGED@
ifeq ($(RUN_NON_PRIVILEGED), 1)
BINMODE=111
else