bin/eukleides bin/euk2eps bin/euk2edit @unexec install-info --delete %D/info/eukleides.info %D/info/dir info/eukleides.info @exec install-info %D/info/eukleides.info %D/info/dir