diff options
Diffstat (limited to 'editors/jed/pkg-plist')
-rw-r--r-- | editors/jed/pkg-plist | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/editors/jed/pkg-plist b/editors/jed/pkg-plist index 5bc7ba43bbf3..69994d4d0da7 100644 --- a/editors/jed/pkg-plist +++ b/editors/jed/pkg-plist @@ -6,7 +6,6 @@ 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 lib/jed/bin/getmail lib/jed/lib/abbrev.sl |