# Default distribution
#
# NOTE: By default, this distribution cannot be packaged.  Take away the
# 'no-dist option if you whish to use this as a normal distribution.
#
# If you add new distributions into distdir/ you may want to inherit them 
# here.
#
option no-dist
define _DIST_DEFAULT
