man pages packaged, TODO updated

[mayuresh <mayuresh%acm.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	mayuresh <mayuresh%acm.org@localhost>
Pushed By:	mayuresh
Date:		Tue Jul 5 07:48:08 2022 +0530
Changeset:	921f1f332d5b9238d8b675406281cd7ab47e47a2

Modified Files:
	ltsmin/Makefile
	ltsmin/PLIST
	ltsmin/TODO

Log Message:
man pages packaged, TODO updated

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=921f1f332d5b9238d8b675406281cd7ab47e47a2

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 ltsmin/Makefile |  4 +++-
 ltsmin/PLIST    | 72 +++++++++++++++++++++++++++++++++++++++++++++++++++++----
 ltsmin/TODO     |  3 ---
 3 files changed, 71 insertions(+), 8 deletions(-)

diffs:
diff --git a/ltsmin/Makefile b/ltsmin/Makefile
index 9f7943e5f5..1d4d053e26 100644
--- a/ltsmin/Makefile
+++ b/ltsmin/Makefile
@@ -21,9 +21,11 @@ BUILDLINK_TRANSFORM.NetBSD+=	rm:-ldl
 CONFIGURE_ARGS+=	PKG_CONFIG=${PREFIX}/bin/pkg-config
 CONFIGURE_ARGS+=	CFLAGS=-D__NetBSD__
 CONFIGURE_ARGS+=	--docdir=${PREFIX}/share/doc/${PKGBASE}
-CONFIGURE_ARGS+=	--mandir=${PREFIX}/share/man
 CONFIGURE_ARGS+=	--htmldir=${PREFIX}/share/doc/html/${PKGBASE}
 
+post-install:
+	DESTDIR=${DESTDIR} gmake -C ${WRKSRC}/doc install-man
+
 .include "../../devel/boost-headers/buildlink3.mk"
 .include "../../devel/popt/buildlink3.mk"
 .include "../../devel/buddy/buildlink3.mk"
diff --git a/ltsmin/PLIST b/ltsmin/PLIST
index bf491197b8..c028b461b8 100644
--- a/ltsmin/PLIST
+++ b/ltsmin/PLIST
@@ -44,7 +44,71 @@ include/ltsmin/pins-util.h
 include/ltsmin/pins.h
 include/ltsmin/string-map.h
 include/ltsmin/tables.h
-share/doc/ltsmin/AUTHORS
-share/doc/ltsmin/CODING-STANDARDS
-share/doc/ltsmin/COPYING
-share/doc/ltsmin/README.md
+man/man1/ce-mpi.1
+man/man1/dve2lts-dist.1
+man/man1/dve2lts-mc.1
+man/man1/dve2lts-seq.1
+man/man1/dve2lts-sym.1
+man/man1/dve2torx.1
+man/man1/etf-convert.1
+man/man1/etf2lts-dist.1
+man/man1/etf2lts-mc.1
+man/man1/etf2lts-seq.1
+man/man1/etf2lts-sym.1
+man/man1/etf2torx.1
+man/man1/gcf.1
+man/man1/lpo2lts-dist.1
+man/man1/lpo2lts-mc.1
+man/man1/lpo2lts-seq.1
+man/man1/lpo2lts-sym.1
+man/man1/lpo2torx.1
+man/man1/lps2lts-dist.1
+man/man1/lps2lts-mc.1
+man/man1/lps2lts-seq.1
+man/man1/lps2lts-sym.1
+man/man1/lps2torx.1
+man/man1/ltsmin-compare.1
+man/man1/ltsmin-convert.1
+man/man1/ltsmin-printtrace.1
+man/man1/ltsmin-reduce-dist.1
+man/man1/ltsmin-reduce.1
+man/man1/mapa2lts-dist.1
+man/man1/mapa2lts-sym.1
+man/man1/opaal2lts-mc.1
+man/man1/pbes2lts-dist.1
+man/man1/pbes2lts-mc.1
+man/man1/pbes2lts-seq.1
+man/man1/pbes2lts-sym.1
+man/man1/pins-open.1
+man/man1/pins2lts-dist.1
+man/man1/pins2lts-mc.1
+man/man1/pins2lts-seq.1
+man/man1/pins2lts-sym.1
+man/man1/pins2torx.1
+man/man1/pnml2lts-dist.1
+man/man1/pnml2lts-mc.1
+man/man1/pnml2lts-seq.1
+man/man1/pnml2lts-sym.1
+man/man1/prob2lts-dist.1
+man/man1/prob2lts-mc.1
+man/man1/prob2lts-seq.1
+man/man1/prob2lts-sym.1
+man/man1/prom2lts-dist.1
+man/man1/prom2lts-mc.1
+man/man1/prom2lts-seq.1
+man/man1/prom2lts-sym.1
+man/man1/prom2torx.1
+man/man1/spgsolver.1
+man/man1/spins.1
+man/man5/etf.5
+man/man5/ltsmin-ctl.5
+man/man5/ltsmin-ltl.5
+man/man5/ltsmin-mu.5
+man/man5/ltsmin-mucalc.5
+man/man5/ltsmin-pred.5
+man/man5/ltsmin-type-system.5
+man/man7/ltsmin.7
+share/doc/ltsmin-3.0.2/AUTHORS
+share/doc/ltsmin-3.0.2/CODING-STANDARDS
+share/doc/ltsmin-3.0.2/COPYING
+share/doc/ltsmin-3.0.2/README.md
diff --git a/ltsmin/TODO b/ltsmin/TODO
index f000ea5b4c..0b1fe68f44 100644
--- a/ltsmin/TODO
+++ b/ltsmin/TODO
@@ -3,9 +3,6 @@ Make __NetBSD__ and patches specific to NetBSD
 Despite buildlink to buddy, configure gives error for libbdd. buddy doesn't
 have .pc file.
 
-Defining --docdir as configure argument installs minimal documentation. But
-defining htmldir or mandir does not get the man pages and htmls respectively.
-
 Try to meet deps:
 
 	libczmq