--- src/bin/pg_config/Makefile.orig	Fri Mar 29 09:32:55 2002
+++ src/bin/pg_config/Makefile	Mon Sep 23 10:45:24 2002
@@ -7,13 +7,13 @@
 all: pg_config
 
 pg_config: pg_config.sh $(top_builddir)/src/Makefile.global Makefile
-	sed -e 's,@bindir@,$(bindir),g' \
-	    -e 's,@includedir@,$(includedir),g' \
-	    -e 's,@includedir_server@,$(includedir_server),g' \
-	    -e 's,@libdir@,$(libdir),g' \
-	    -e 's,@pkglibdir@,$(pkglibdir),g' \
-	    -e "s,@configure@,$(configure_args),g" \
-	    -e 's,@version@,$(VERSION),g' \
+	sed -e 's|@bindir@|$(bindir)|g' \
+	    -e 's|@includedir@|$(includedir)|g' \
+	    -e 's|@includedir_server@|$(includedir_server)|g' \
+	    -e 's|@libdir@|$(libdir)|g' \
+	    -e 's|@pkglibdir@|$(pkglibdir)|g' \
+	    -e "s|@configure@|$(configure_args)|g" \
+	    -e 's|@version@|$(VERSION)|g' \
 	  $< >$@
 	chmod a+x $@