@comment $GODI$ bin/cduce bin/cduce_mktop man/man1/cduce.1 man/man1/cduce_mktop.1 @deepdir doc/apps-cduce @findlib cduce
