diff options
Diffstat (limited to 'misc/vera/Makefile')
-rw-r--r-- | misc/vera/Makefile | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/misc/vera/Makefile b/misc/vera/Makefile index bf8c3f886587..64c6ac9f8575 100644 --- a/misc/vera/Makefile +++ b/misc/vera/Makefile @@ -3,7 +3,7 @@ # Date created: 9 March 1999 # Whom: Dima Sivachenko <dima@chg.ru> # -# $Id$ +# $Id: Makefile,v 1.2 1999/04/30 07:55:34 taoka Exp $ # DISTNAME= vera-1.5 @@ -20,9 +20,6 @@ do-install: @ ${INSTALL_DATA} ${WRKSRC}/vera.info* ${PREFIX}/info post-install: - if [ ! -f ${PREFIX}/info/dir ]; then \ - ${SED} -ne '1,/Menu:/p' /usr/share/info/dir > ${PREFIX}/info/dir; \ - fi @ install-info ${PREFIX}/info/vera.info ${PREFIX}/info/dir .include <bsd.port.mk> |