@name wdiff-0.5
@cwd /usr/local
man/man1/wdiff.1.gz
@comment MD5:885c031f2d814a07b01dd65462b7be46
bin/wdiff
@comment MD5:640071ba6d38003a7ce188103cf57632
@unexec install-info --delete %D/info/wdiff.info %D/info/dir
info/wdiff.info
@comment MD5:f7aed378b979be89679a6c3910c8ed99
@exec install-info %D/info/wdiff.info %D/info/dir
@unexec if [ -f %D/info/dir ]; then if sed -e '1,/Menu:/d' %D/info/dir | grep -q '^[*] '; then true; else rm %D/info/dir; fi; fi
@cwd .
@ignore
+COMMENT
@ignore
+DESC
@ignore
+MTREE_DIRS
@mtree +MTREE_DIRS
