From 0b8e7b7bf96ceca3e09afb45bcb5eca5212086e0 Mon Sep 17 00:00:00 2001 From: Baptiste Daroussin Date: Thu, 26 Jun 2014 13:34:02 +0000 Subject: [PATCH] Add a minimal tool to regenerate GNU info page indexes --- print/Makefile | 1 + print/indexinfo/Makefile | 18 ++++++++++++++++++ print/indexinfo/distinfo | 2 ++ print/indexinfo/pkg-descr | 3 +++ 4 files changed, 24 insertions(+) create mode 100644 print/indexinfo/Makefile create mode 100644 print/indexinfo/distinfo create mode 100644 print/indexinfo/pkg-descr diff --git a/print/Makefile b/print/Makefile index e42b88cd1ae9..2f0b214ee453 100644 --- a/print/Makefile +++ b/print/Makefile @@ -115,6 +115,7 @@ SUBDIR += html2ps SUBDIR += hyperlatex SUBDIR += ifxetex + SUBDIR += indexinfo SUBDIR += it-acroread8 SUBDIR += jabref SUBDIR += jadetex diff --git a/print/indexinfo/Makefile b/print/indexinfo/Makefile new file mode 100644 index 000000000000..308c81dbc36a --- /dev/null +++ b/print/indexinfo/Makefile @@ -0,0 +1,18 @@ +# $FreeBSD$ + +PORTNAME= indexinfo +PORTVERSION= 0.1 +CATEGORIES= print ports-mgmt +MASTER_SITES= http://files.etoilebsd.net/indexinfo/ + +MAINTAINER= bapt@FreeBSD.org +COMMENT= Utility to regenerate the GNU info page index + +LICENSE= BSD2CLAUSE +LICENSE_FILE= ${WRKSRC}/COPYING + +GNU_CONFIGURE= yes +PLIST_FILES= bin/indexinfo +INSTALL_TARGET= install-strip + +.include diff --git a/print/indexinfo/distinfo b/print/indexinfo/distinfo new file mode 100644 index 000000000000..8b2993abe2c8 --- /dev/null +++ b/print/indexinfo/distinfo @@ -0,0 +1,2 @@ +SHA256 (indexinfo-0.1.tar.gz) = d09b100c0c78e77b2c7c57a9096820fc8d758bd47eb4c6798ce66c99cd1dd3a8 +SIZE (indexinfo-0.1.tar.gz) = 77964 diff --git a/print/indexinfo/pkg-descr b/print/indexinfo/pkg-descr new file mode 100644 index 000000000000..d8913a1cd977 --- /dev/null +++ b/print/indexinfo/pkg-descr @@ -0,0 +1,3 @@ +Small utility designed to regenerate the GNU info page indexes + +WWW: http://fossil.etoilebsd.net/indexinfo