#
# Configure changes in Makefile.config
# The real work is done in Makefile.run
#
all:	makefiles

install: makefiles
	@make -f Makefile.tmp DESTDIR=${DESTDIR} install

configure: makefiles
	@make -f Makefile.tmp DESTDIR=${DESTDIR} configure

Makefile.tmp: Makefile Makefile.config Makefile.run
	@echo 'Creating master makefile...'
	@echo '# DO NOT EDIT THIS FILE' > Makefile.tmp
	@cat Makefile.config Makefile.run >> Makefile.tmp

makefiles: Makefile.tmp 
	@rm -f makefiles
	@make -f Makefile.tmp makefiles

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