diff options
Diffstat (limited to 'editors/psgml-mule/pkg-plist')
| -rw-r--r-- | editors/psgml-mule/pkg-plist | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/editors/psgml-mule/pkg-plist b/editors/psgml-mule/pkg-plist index d7b1b23628d6..6822a9f06eb8 100644 --- a/editors/psgml-mule/pkg-plist +++ b/editors/psgml-mule/pkg-plist @@ -21,6 +21,5 @@ @unexec install-info --delete %D/info/psgml-api.info %D/info/dir info/psgml.info info/psgml-api.info -@exec [ -f %D/info/dir ] || sed -ne '1,/Menu:/p' /usr/share/info/dir > %D/info/dir @exec install-info %D/info/psgml.info %D/info/dir @exec install-info %D/info/psgml-api.info %D/info/dir |