bin/ddd info/ddd.info @exec install-info %D/info/ddd.info %D/info/dir @unexec install-info --delete %D/info/ddd.info %D/info/dir share/doc/ddd/PROBLEMS share/doc/ddd/README share/doc/ddd/ddd-paper.ps.gz share/doc/ddd/ddd.ps.gz share/doc/ddd/sample.dddinit @dirrm share/doc/ddd