-rm -f ./src/config.h.tmp
-(echo "/* This file is generated by \`${progname}' from"
- echo " \`${srcdir}/src/config.h.in'."
- echo " If you are thinking about editing it, you should seriously consider"
- echo " running \`${progname} instead, or editing"
- echo " \`${srcdir}/src/config.h.in' itself."
- eval '/bin/sed '${sed_flags}' < "${srcdir}/src/config.h.in"'
-) > src/config.h.tmp
-${srcdir}/move-if-change src/config.h.tmp src/config.h
-### Remind people not to edit this.
-chmod -w src/config.h
-
-
-#### Modify the parameters in the top-level Makefile.
-echo "Producing \`Makefile' from \`${srcdir}/Makefile.in'."
-rm -f Makefile.tmp
-(echo "\
-# This file is generated by \`${progname}' from
-# \`${srcdir}/Makefile.in'.
-# If you are thinking about editing it, you should seriously consider
-# running \`${progname}' instead, or editing
-# \`${srcdir}/Makefile.in' itself."
- /bin/sed < ${srcdir}/Makefile.in \
- -e 's|^configname *=.*$|configname='"${configuration}"'|' \
- -e 's|^version *=.*$|version='"${version}"'|' \
- -e 's|^srcdir *=.*$|srcdir='"${srcdir}"'|' \
- -e 's|^CC *=.*$|CC='"${default_cc}"'|' \
- -e 's|^CONFIG_CFLAGS *=.*$|CONFIG_CFLAGS='"${default_cflags}"'|' \
- -e 's|^LOADLIBES *=.*$|LOADLIBES='"${libsrc_libs}"'|' \
- -e '/^# DIST: /d') > Makefile.tmp
-${srcdir}/move-if-change Makefile.tmp Makefile
-
-### I'm commenting out this section until I bring the `build-install' script
-### into line with the rest of the configuration stuff.
-
-### # Modify the parameters in the `build-install' script.
-### echo "Producing \`./build-install' from \`${srcdir}/build-install.in'."
-### rm -f ./build-install.tmp
-### (echo "\
-### # This file is generated by \`${progname}' from \`${srcdir}/build-install.in'.
-### # If you are thinking about editing it, you should seriously consider
-### # editing \`./build-install.in' itself, or running \`${progname}' instead."
-### /bin/sed < ${srcdir}/build-install.in \
-### -e 's;^\(prefix=\).*$;\1'"${prefix};" \
-### -e 's;^\(bindir=\).*$;\1'"${bindir};" \
-### -e 's;^\(lisppath=\).*$;\1'"${lisppath};" \
-### -e 's;^\(datadir=\).*$;\1'"${datadir};" \
-### -e 's;^\(lockdir=\).*$;\1'"${lockdir};" \
-### -e 's;^\(libdir=\).*$;\1'"${libdir};") > ./build-install.tmp
-### ${srcdir}/move-if-change build-install.tmp build-install
-### # Remind people not to edit this.
-### chmod -w build-install
-### chmod +x build-install
-
-
-#### Describe the results.
-
-### Create a verbal description of what we have done.
-
-message="Configured for \`${configuration}'.