#
# Configure changes in Makefile.config
# The real work is done in Makefile.run
#
install: Makefile.tmp
	make -f Makefile.tmp DESTDIR=${DESTDIR} install

Makefile.tmp: Makefile.config Makefile.run
	cat Makefile.config Makefile.run > Makefile.tmp

clean:
	rm -f Makefile.tmp makefiles */Makefile
