--- maui-3.3.1/src/server/Makefile.orig 2014-06-13 15:55:14.629975209 -0500 +++ maui-3.3.1/src/server/Makefile 2014-06-13 16:01:11.854123678 -0500 @@ -66,13 +66,8 @@ fi; \ done) - if [ ! -f $(MSCHED_HOME)/maui.cfg ]; \ - then cp $(TOP)/maui.cfg.dist $(MSCHED_HOME)/maui.cfg; \ - fi - - if [ ! -f $(MSCHED_HOME)/maui-private.cfg ]; \ - then cp $(TOP)/maui-private.cfg.dist $(MSCHED_HOME)/maui-private.cfg; \ - fi + cp $(TOP)/maui.cfg.dist $(MSCHED_HOME)/maui.cfg.example + cp $(TOP)/maui-private.cfg.dist $(MSCHED_HOME)/maui-private.cfg.example # (cd ../..;ln -sf etc/maui.cfg;ln -sf etc/maui-private.cfg)