+++ /dev/null
-# 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