diff options
Diffstat (limited to 'editors/jed/pkg-plist')
| -rw-r--r-- | editors/jed/pkg-plist | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/jed/pkg-plist b/editors/jed/pkg-plist index ea0d2c75fde3..ea791db98b01 100644 --- a/editors/jed/pkg-plist +++ b/editors/jed/pkg-plist @@ -1,13 +1,13 @@ bin/jed bin/rgrep bin/xjed -@unexec install-info --delete --section="Miscellaneous" --entry="* JED: (jed). JED editor documentation." %D/info/jed.info %D/info/dir +@unexec install-info --delete --section="Miscellaneous" --entry="* JED: (jed). JED editor documentation." %D/info/jed.info %D/info/dir info/jed.1in info/jed.2in info/jed.3in info/jed.info @exec [ -f %D/info/dir ] || sed -ne '1,/Menu:/p' /usr/share/info/dir > %D/info/dir -@exec install-info --section="Miscellaneous" --entry="* JED: (jed). JED editor documentation." %D/info/jed.info %D/info/dir +@exec install-info --section="Miscellaneous" --entry="* JED: (jed). JED editor documentation." %D/info/jed.info %D/info/dir lib/jed/bin/getmail lib/jed/lib/abbrev.sl lib/jed/lib/abbrmisc.sl |