K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
1999-12-16T17:25:01.000000Z
K 7
svn:log
V 212
Don't build gensetdefs when we can use /usr/bin/gensetdefs. The latter
also creates setdef{0|1}.c so there's no need to have those in the
repository. Using /usr/bin/gensetdefs has no consequences for the
output.

END