# $Id: Makefile.dist,v 1.4 2005/03/05 00:37:10 dasenbro Exp $ # it would be nice to figure out how to make "Makefile" do an # 'include' of this file. BUILT_SOURCES = imapopts.c imapopts.h dist: $(BUILT_SOURCES) imapopts.c imapopts.h: imapoptions ../tools/config2header ../tools/config2header imapopts.c imapopts.h < imapoptions