EXTRA_DIST =\
 properties.csv \
 parameters.csv \
 restrictions.csv \
 status.txt \
 value-types.csv