# $Id: Makefile,v 1.1 2007-07-13 12:53:27 fclement Exp $

include Makefile_user
include $(DEVELMAKEFILESDIR)/Config.mk

BANNERFILEDIR = ..

include $(DEVELMAKEFILESDIR)/Common.mk