Change build system so that changes to Makefile.defs don't get tracked
2007-07-29 Michael Olson <mwolson@gnu.org>
* Makefile.defs.default: Rename from Makefile.defs. This allows
people to copy this file to Makefile.defs and make changes,
without having the changes be accidentally committed. If
Makefile.defs does not exist, this file is read instead, in order
to minimize inconvenience to the casual user.
* Makefile, contrib/Makefile, examples/Makefile,
experimental/Makefile, lisp/Makefile, texi/Makefile: Use either
Makefile.defs.default or Makefile.defs.
git-archimport-id: mwolson@gnu.org--2006/muse--main--1.0--patch-425