# $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