diff options
| -rw-r--r-- | devel/gindent/Makefile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/devel/gindent/Makefile b/devel/gindent/Makefile index 3907317fa4ec..6644fa52d186 100644 --- a/devel/gindent/Makefile +++ b/devel/gindent/Makefile @@ -24,9 +24,6 @@ do-install: ${INSTALL_MAN} ${WRKSRC}/indent.1 ${PREFIX}/man/man1 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/indent.info ${PREFIX}/info/dir .include <bsd.port.mk> |