7 lines
178 B
Text
7 lines
178 B
Text
|
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
|