Install/uninstall ddd.info and don't remove info dir. Close PR #1038.
This commit is contained in:
parent
601e3fe78c
commit
ae9f7176d5
@ -2,6 +2,7 @@
|
||||
bin/ddd
|
||||
@mode 444
|
||||
man/man1/ddd.1
|
||||
@unexec install-info --delete %D/info/ddd.info %D/info/dir
|
||||
info/ddd.info
|
||||
info/ddd.info-1
|
||||
info/ddd.info-10
|
||||
@ -13,4 +14,4 @@ info/ddd.info-6
|
||||
info/ddd.info-7
|
||||
info/ddd.info-8
|
||||
info/ddd.info-9
|
||||
@dirrm info
|
||||
@exec install-info %D/info/ddd.info %D/info/dir
|
||||
|
Loading…
x
Reference in New Issue
Block a user