--- ../tmp/pgui-dev20020706/pgserver/etc/Makefile.am	2002-01-04 22:00:06.000000000 +0800
+++ pgserver/etc/Makefile.am	2002-07-13 00:09:39.000000000 +0800
@@ -8,10 +8,10 @@
 pgserver.conf: configurator
 	$(SHELL) configurator > pgserver.conf
 
-configurator: gen-pgserver-conf configurator.mk
+configurator: gen-pgserver-conf$(EXEEXT) configurator.mk
 	cat configurator.mk \
 	  | sed "s/@INPUTDRIVERS@/`./gen-pgserver-conf -i`/g" \
 	> configurator
 
-gen-pgserver-conf: gen-pgserver-conf.c ../include/pgserver/autoconf.h
+gen-pgserver-conf$(EXEEXT): gen-pgserver-conf.c ../include/pgserver/autoconf.h
 	$(CC_FOR_BUILD) $< -o $@ -I../include -I$(srcdir)/../gcore