diff options
Diffstat (limited to 'editors/semi113/pkg-plist.mule')
| -rw-r--r-- | editors/semi113/pkg-plist.mule | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/editors/semi113/pkg-plist.mule b/editors/semi113/pkg-plist.mule index 7d9bdae1379f..39297deb05f8 100644 --- a/editors/semi113/pkg-plist.mule +++ b/editors/semi113/pkg-plist.mule @@ -34,6 +34,5 @@ @unexec install-info --delete %D/info/mime-ui-ja.info %D/info/dir info/mime-ui-en.info info/mime-ui-ja.info -@exec [ -f %D/info/dir ] || sed -ne '1,/Menu:/p' /usr/share/info/dir > %D/info/dir @exec install-info %D/info/mime-ui-en.info %D/info/dir @exec install-info %D/info/mime-ui-ja.info %D/info/dir |