git: 28cfe20550b8 - main - MANPREFIX: eleminate its usage and move man to share/man

Reply: Vladimir Druzenko : "Re: git: 28cfe20550b8 - main - MANPREFIX: eleminate its usage and move man to share/man"
Go to: [ bottom of page ] [ top of archives ] [ this month ]
From: Baptiste Daroussin <bapt_at_FreeBSD.org>
Date: Mon, 08 Jan 2024 16:30:32 UTC
The branch main has been updated by bapt:

URL: https://cgit.FreeBSD.org/ports/commit/?id=28cfe20550b8d64ee918cbfcf4fe5a3278650819

commit 28cfe20550b8d64ee918cbfcf4fe5a3278650819
Author:     Baptiste Daroussin <bapt@FreeBSD.org>
AuthorDate: 2024-01-08 16:30:01 +0000
Commit:     Baptiste Daroussin <bapt@FreeBSD.org>
CommitDate: 2024-01-08 16:30:29 +0000

    MANPREFIX: eleminate its usage and move man to share/man
---
 astro/gpscorrelate/Makefile         |    8 +-
 astro/sunclock/Makefile             |    4 +-
 astro/sunclock/pkg-plist            |    2 +-
 benchmarks/mdtest/Makefile          |    6 +-
 benchmarks/ubench/Makefile          |    5 +-
 cad/alliance/Makefile               |    4 +-
 cad/alliance/pkg-plist              | 1194 +++++++++++++++++------------------
 chinese/celvis/Makefile             |    2 +-
 chinese/celvis/pkg-plist            |    2 +-
 chinese/ttfm/Makefile               |    4 +-
 chinese/ttfm/pkg-plist              |    2 +-
 comms/atslog/Makefile               |    9 +-
 comms/atslog/pkg-plist              |    8 +-
 converters/fondu/Makefile           |    2 +-
 converters/fondu/pkg-plist          |   14 +-
 converters/i18ntools/Makefile       |    4 +-
 converters/i18ntools/pkg-plist      |    8 +-
 converters/trans/Makefile           |    3 +-
 converters/trans/pkg-plist          |   12 +-
 converters/xdeview/Makefile         |    6 +-
 databases/mysqlbackup/Makefile      |    4 +-
 databases/postgresql-relay/Makefile |    6 +-
 deskutils/griffith/Makefile         |    3 +-
 deskutils/griffith/pkg-plist        |    6 +-
 x11/xmangekyou/Makefile             |    6 +-
 x11/xmotd/Makefile                  |    6 +-
 x11/xstarroll/Makefile              |    6 +-
 27 files changed, 669 insertions(+), 667 deletions(-)

diff --git a/astro/gpscorrelate/Makefile b/astro/gpscorrelate/Makefile
index ac88fc2e73d2..2bdbea6597fd 100644
--- a/astro/gpscorrelate/Makefile
+++ b/astro/gpscorrelate/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	gpscorrelate
 PORTVERSION=	1.6.1
-PORTREVISION=	10
+PORTREVISION=	11
 CATEGORIES=	astro geography
 
 MAINTAINER=	ports@FreeBSD.org
@@ -25,7 +25,7 @@ GH_ACCOUNT=	freefoote
 USE_GNOME=	cairo gdkpixbuf2 glib20 gtk20 libxml2 pango
 
 PLIST_FILES=	bin/gpscorrelate bin/gpscorrelate-gui \
-		man/man1/gpscorrelate.1.gz man/man1/gpscorrelate-gui.1.gz
+		share/man/man1/gpscorrelate.1.gz share/man/man1/gpscorrelate-gui.1.gz
 PORTDOCS=	*
 
 OPTIONS_DEFINE=	DOCS
@@ -47,9 +47,9 @@ do-install:
 	${INSTALL_PROGRAM} ${WRKSRC}/gpscorrelate ${STAGEDIR}${PREFIX}/bin
 	${INSTALL_PROGRAM} ${WRKSRC}/gpscorrelate-gui ${STAGEDIR}${PREFIX}/bin
 	${INSTALL_MAN} ${FILESDIR}/gpscorrelate.1 \
-		${STAGEDIR}${MANPREFIX}/man/man1
+		${STAGEDIR}${PREFIX}/share/man/man1
 	${LN} -sf gpscorrelate.1 \
-		${STAGEDIR}${MANPREFIX}/man/man1/gpscorrelate-gui.1
+		${STAGEDIR}${PREFIX}/share/man/man1/gpscorrelate-gui.1
 
 do-install-DOCS-on:
 	@${MKDIR} ${STAGEDIR}${DOCSDIR}
diff --git a/astro/sunclock/Makefile b/astro/sunclock/Makefile
index 5c14a15763cf..887934209370 100644
--- a/astro/sunclock/Makefile
+++ b/astro/sunclock/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	sunclock
 PORTVERSION=	3.57
-PORTREVISION=	3
+PORTREVISION=	4
 CATEGORIES=	astro x11-clocks
 MASTER_SITES=	DEBIAN
 DISTNAME=	${PORTNAME}_${PORTVERSION}.orig
@@ -49,7 +49,7 @@ do-install:
 	(cd ${WRKSRC} && ${INSTALL_PROGRAM} sunclock \
 		${STAGEDIR}${PREFIX}/bin)
 	(cd ${WRKSRC} && ${INSTALL_MAN} sunclock.1 \
-		${STAGEDIR}${MANPREFIX}/man/man1)
+		${STAGEDIR}${PREFIX}/share/man/man1)
 	@${MKDIR} ${STAGEDIR}${DATADIR}
 	(cd ${WRKSRC} && ${INSTALL_DATA} Sunclockrc \
 		${STAGEDIR}${DATADIR})
diff --git a/astro/sunclock/pkg-plist b/astro/sunclock/pkg-plist
index ed21d771d893..64df5d2c5c2c 100644
--- a/astro/sunclock/pkg-plist
+++ b/astro/sunclock/pkg-plist
@@ -1,6 +1,6 @@
 bin/emx
 bin/sunclock
-man/man1/sunclock.1.gz
+share/man/man1/sunclock.1.gz
 %%DATADIR%%/Sunclockrc
 %%DATADIR%%/earthmaps/vmf/countries.vmf.gz
 %%DATADIR%%/earthmaps/vmf/landwater.vmf.gz
diff --git a/benchmarks/mdtest/Makefile b/benchmarks/mdtest/Makefile
index 9ac0ad0217a5..c46b9a6c7f6e 100644
--- a/benchmarks/mdtest/Makefile
+++ b/benchmarks/mdtest/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	mdtest
 PORTVERSION=	1.9.3
-PORTREVISION=	15
+PORTREVISION=	16
 CATEGORIES=	benchmarks
 MASTER_SITES=	SF/${PORTNAME}/${PORTNAME}%20latest/${PORTNAME}-${PORTVERSION}
 
@@ -15,7 +15,7 @@ NO_WRKSUBDIR=	yes
 
 CFLAGS+=	-DDarwin
 
-PLIST_FILES=	bin/${PORTNAME} man/man1/${PORTNAME}.1.gz
+PLIST_FILES=	bin/${PORTNAME} share/man/man1/${PORTNAME}.1.gz
 PORTEXAMPLES=	*
 
 OPTIONS_DEFINE=	OPENMPI EXAMPLES
@@ -34,7 +34,7 @@ do-build:
 
 do-install:
 	${INSTALL_PROGRAM} ${WRKSRC}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin
-	${INSTALL_MAN} ${WRKSRC}/${PORTNAME}.1 ${STAGEDIR}${MANPREFIX}/man/man1
+	${INSTALL_MAN} ${WRKSRC}/${PORTNAME}.1 ${STAGEDIR}${PREFIX}/share/man/man1
 	@${MKDIR} ${STAGEDIR}${EXAMPLESDIR}
 	${INSTALL_DATA} ${WRKSRC}/scripts/* ${STAGEDIR}${EXAMPLESDIR}
 
diff --git a/benchmarks/ubench/Makefile b/benchmarks/ubench/Makefile
index 06c3959ed10d..6380bc9c8112 100644
--- a/benchmarks/ubench/Makefile
+++ b/benchmarks/ubench/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	ubench
 PORTVERSION=	0.32
+PORTREVISION=	1
 CATEGORIES=	benchmarks
 MASTER_SITES=	SUNSITE/system/benchmark
 
@@ -13,10 +14,10 @@ HAS_CONFIGURE=	yes
 ALL_TARGET=	ubench
 
 PLIST_FILES=	bin/ubench \
-		man/man8/ubench.8.gz
+		share/man/man8/ubench.8.gz
 
 do-install:
 	${INSTALL_PROGRAM} ${WRKSRC}/ubench ${STAGEDIR}${PREFIX}/bin
-	${INSTALL_MAN} ${WRKSRC}/ubench.8 ${STAGEDIR}${MANPREFIX}/man/man8
+	${INSTALL_MAN} ${WRKSRC}/ubench.8 ${STAGEDIR}${PREFIX}/man/man8
 
 .include <bsd.port.mk>
diff --git a/cad/alliance/Makefile b/cad/alliance/Makefile
index 2a50c3a6ce06..c6f8ae181c25 100644
--- a/cad/alliance/Makefile
+++ b/cad/alliance/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	alliance
 DISTVERSION=	5.1.1
-PORTREVISION=	5
+PORTREVISION=	6
 CATEGORIES=	cad
 
 MAINTAINER=	ports@FreeBSD.org
@@ -28,7 +28,7 @@ USE_XORG=	ice sm x11 xext xt
 
 HAS_CONFIGURE=	yes
 CONFIGURE_ENV+=	ALLIANCE_TOP=${ALLIANCE_TOP} YACC=${YACC}
-CONFIGURE_ARGS+=--mandir=${MANPREFIX}/man \
+CONFIGURE_ARGS+=--mandir=${PREFIX}/share/man \
 		--prefix=${ALLIANCE_TOP} \
 		--enable-alc-shared \
 		--enable-shared
diff --git a/cad/alliance/pkg-plist b/cad/alliance/pkg-plist
index 4b37b6b52942..e190995ed78e 100644
--- a/cad/alliance/pkg-plist
+++ b/cad/alliance/pkg-plist
@@ -2007,600 +2007,600 @@ alliance/lib/libVrd.so.3.0.4
 %%PORTDOCS%%alliance/tutorials/synthesis/tex/hier.fig
 %%PORTDOCS%%alliance/tutorials/synthesis/tex/synthese.fig
 %%PORTDOCS%%alliance/tutorials/synthesis/tex/synthesis.tex
-man/man1/MBK_CATAL_NAME.1.gz
-man/man1/MBK_CATA_LIB.1.gz
-man/man1/MBK_CK.1.gz
-man/man1/MBK_FILTER_SFX.1.gz
-man/man1/MBK_IN_FILTER.1.gz
-man/man1/MBK_IN_LO.1.gz
-man/man1/MBK_IN_PH.1.gz
-man/man1/MBK_OUT_FILTER.1.gz
-man/man1/MBK_OUT_LO.1.gz
-man/man1/MBK_OUT_PH.1.gz
-man/man1/MBK_SEPAR.1.gz
-man/man1/MBK_TRACE_GETENV.1.gz
-man/man1/MBK_VDD.1.gz
-man/man1/MBK_VSS.1.gz
-man/man1/MBK_WORK_LIB.1.gz
-man/man1/abl.1.gz
-man/man1/alc_bug_report.1.gz
-man/man1/alc_origin.1.gz
-man/man1/alcbanner.1.gz
-man/man1/asimut.1.gz
-man/man1/attila.1.gz
-man/man1/aut.1.gz
-man/man1/bdd.1.gz
-man/man1/boog.1.gz
-man/man1/boom.1.gz
-man/man1/cougar.1.gz
-man/man1/dreal.1.gz
-man/man1/druc.1.gz
-man/man1/exp.1.gz
-man/man1/flatbeh.1.gz
-man/man1/flatlo.1.gz
-man/man1/flatph.1.gz
-man/man1/fmi.1.gz
-man/man1/fsm.1.gz
-man/man1/fsp.1.gz
-man/man1/genlib.1.gz
-man/man1/genpat.1.gz
-man/man1/graal.1.gz
-man/man1/k2f.1.gz
-man/man1/l2p.1.gz
-man/man1/log.1.gz
-man/man1/loon.1.gz
-man/man1/lvx.1.gz
-man/man1/m2e.1.gz
-man/man1/moka.1.gz
-man/man1/nero.1.gz
-man/man1/ocp.1.gz
-man/man1/pat2spi.1.gz
-man/man1/proof.1.gz
-man/man1/ring.1.gz
-man/man1/s2r.1.gz
-man/man1/scapin.1.gz
-man/man1/syf.1.gz
-man/man1/vasy.1.gz
-man/man1/x2y.1.gz
-man/man1/xpat.1.gz
-man/man1/xsch.1.gz
-man/man3/AFFECT.3.gz
-man/man3/ARRAY.3.gz
-man/man3/DECLAR.3.gz
-man/man3/DEF_GENPAT.3.gz
-man/man3/DPGEN_ADSB2F.3.gz
-man/man3/DPGEN_AND2.3.gz
-man/man3/DPGEN_AND3.3.gz
-man/man3/DPGEN_AND4.3.gz
-man/man3/DPGEN_BUFF.3.gz
-man/man3/DPGEN_BUSE.3.gz
-man/man3/DPGEN_CONST.3.gz
-man/man3/DPGEN_DFF.3.gz
-man/man3/DPGEN_DFFT.3.gz
-man/man3/DPGEN_FIFO.3.gz
-man/man3/DPGEN_INV.3.gz
-man/man3/DPGEN_MUX2.3.gz
-man/man3/DPGEN_NAND2.3.gz
-man/man3/DPGEN_NAND2MASK.3.gz
-man/man3/DPGEN_NAND3.3.gz
-man/man3/DPGEN_NAND4.3.gz
-man/man3/DPGEN_NBUSE.3.gz
-man/man3/DPGEN_NMUX2.3.gz
-man/man3/DPGEN_NOR2.3.gz
-man/man3/DPGEN_NOR2MASK.3.gz
-man/man3/DPGEN_NOR3.3.gz
-man/man3/DPGEN_NOR4.3.gz
-man/man3/DPGEN_NUL.3.gz
-man/man3/DPGEN_OR2.3.gz
-man/man3/DPGEN_OR3.3.gz
-man/man3/DPGEN_OR4.3.gz
-man/man3/DPGEN_RF1.3.gz
-man/man3/DPGEN_RF1D.3.gz
-man/man3/DPGEN_ROM2.3.gz
-man/man3/DPGEN_ROM4.3.gz
-man/man3/DPGEN_SFF.3.gz
-man/man3/DPGEN_SFFT.3.gz
-man/man3/DPGEN_SHIFT.3.gz
-man/man3/DPGEN_XNOR2.3.gz
-man/man3/DPGEN_XNOR2MASK.3.gz
-man/man3/DPGEN_XOR2.3.gz
-man/man3/GENLIB_BUS.3.gz
-man/man3/GENLIB_COPY_UP_ALL_CON.3.gz
-man/man3/GENLIB_COPY_UP_ALL_REF.3.gz
-man/man3/GENLIB_COPY_UP_CON.3.gz
-man/man3/GENLIB_COPY_UP_CON_FACE.3.gz
-man/man3/GENLIB_COPY_UP_REF.3.gz
-man/man3/GENLIB_COPY_UP_SEG.3.gz
-man/man3/GENLIB_DEF_AB.3.gz
-man/man3/GENLIB_DEF_LOFIG.3.gz
-man/man3/GENLIB_DEF_PHFIG.3.gz
-man/man3/GENLIB_DEF_PHINS.3.gz
-man/man3/GENLIB_DEF_PHSC.3.gz
-man/man3/GENLIB_ELM.3.gz
-man/man3/GENLIB_FLATTEN_ALL_LOINS.3.gz
-man/man3/GENLIB_FLATTEN_ALL_PHINS.3.gz
-man/man3/GENLIB_FLATTEN_LOFIG.3.gz
-man/man3/GENLIB_FLATTEN_PHFIG.3.gz
-man/man3/GENLIB_GET_CON_X.3.gz
-man/man3/GENLIB_GET_CON_Y.3.gz
-man/man3/GENLIB_GET_INS_X.3.gz
-man/man3/GENLIB_GET_INS_Y.3.gz
-man/man3/GENLIB_GET_REF_X.3.gz
-man/man3/GENLIB_GET_REF_Y.3.gz
-man/man3/GENLIB_HEIGHT.3.gz
-man/man3/GENLIB_LOAD_LOFIG.3.gz
-man/man3/GENLIB_LOAD_PHFIG.3.gz
-man/man3/GENLIB_LOCAP.3.gz
-man/man3/GENLIB_LOCON.3.gz
-man/man3/GENLIB_LOINS.3.gz
-man/man3/GENLIB_LOINSE.3.gz
-man/man3/GENLIB_LORES.3.gz
-man/man3/GENLIB_LOSELF.3.gz
-man/man3/GENLIB_LOSIG.3.gz
-man/man3/GENLIB_LOSIGMERGE.3.gz
-man/man3/GENLIB_LOTRS.3.gz
-man/man3/GENLIB_MACRO.3.gz
-man/man3/GENLIB_OUTLINE.3.gz
-man/man3/GENLIB_PHCON.3.gz
-man/man3/GENLIB_PHREF.3.gz
-man/man3/GENLIB_PHSEG.3.gz
-man/man3/GENLIB_PHVIA.3.gz
-man/man3/GENLIB_PLACE.3.gz
-man/man3/GENLIB_PLACE_BOTTOM.3.gz
-man/man3/GENLIB_PLACE_CON_REF.3.gz
-man/man3/GENLIB_PLACE_LEFT.3.gz
-man/man3/GENLIB_PLACE_ON.3.gz
-man/man3/GENLIB_PLACE_RIGHT.3.gz
-man/man3/GENLIB_PLACE_SEG_REF.3.gz
-man/man3/GENLIB_PLACE_TOP.3.gz
-man/man3/GENLIB_PLACE_VIA_REF.3.gz
-man/man3/GENLIB_REVERSE_PHCON.3.gz
-man/man3/GENLIB_SAVE_LOFIG.3.gz
-man/man3/GENLIB_SAVE_PHFIG.3.gz
-man/man3/GENLIB_SAVE_PHSC.3.gz
-man/man3/GENLIB_SC_BOTTOM.3.gz
-man/man3/GENLIB_SC_LEFT.3.gz
-man/man3/GENLIB_SC_PLACE.3.gz
-man/man3/GENLIB_SC_RIGHT.3.gz
-man/man3/GENLIB_SC_TOP.3.gz
-man/man3/GENLIB_SET_LOCAP.3.gz
-man/man3/GENLIB_SET_LORES.3.gz
-man/man3/GENLIB_SET_LOSELF.3.gz
-man/man3/GENLIB_UNFLATTEN_LOFIG.3.gz
-man/man3/GENLIB_WIRE1.3.gz
-man/man3/GENLIB_WIRE2.3.gz
-man/man3/GENLIB_WIRE3.3.gz
-man/man3/GETCPAT.3.gz
-man/man3/INIT.3.gz
-man/man3/LABEL.3.gz
-man/man3/SAVE.3.gz
-man/man3/ablToBddCct.3.gz
-man/man3/addListBdd.3.gz
-man/man3/addablhexpr.3.gz
-man/man3/addablqexpr.3.gz
-man/man3/addbddassoc.3.gz
-man/man3/addbddcircuitabl.3.gz
-man/man3/addbddcircuitin.3.gz
-man/man3/addbddcircuitout.3.gz
-man/man3/addbddnode.3.gz
-man/man3/addbddnodeassoc.3.gz
-man/man3/addbddnodelist.3.gz
-man/man3/addbddvar.3.gz
-man/man3/addbddvarafter.3.gz
-man/man3/addbddvarbefore.3.gz
-man/man3/addbddvarfirst.3.gz
-man/man3/addbddvarlast.3.gz
-man/man3/addcapa.3.gz
-man/man3/addchain.3.gz
-man/man3/addht.3.gz
-man/man3/addhtitem.3.gz
-man/man3/addlocap.3.gz
-man/man3/addlocon.3.gz
-man/man3/addlofig.3.gz
-man/man3/addloins.3.gz
-man/man3/addlomodel.3.gz
-man/man3/addlores.3.gz
-man/man3/addloself.3.gz
-man/man3/addlosig.3.gz
-man/man3/addlotrs.3.gz
-man/man3/addnum.3.gz
-man/man3/addphcon.3.gz
-man/man3/addphfig.3.gz
-man/man3/addphins.3.gz
-man/man3/addphref.3.gz
-man/man3/addphseg.3.gz
-man/man3/addphvia.3.gz
-man/man3/addptype.3.gz
-man/man3/addrdsfig.3.gz
-man/man3/addrdsfigrec.3.gz
-man/man3/addrdsins.3.gz
-man/man3/addrdsinsrec.3.gz
-man/man3/addrdsrecwindow.3.gz
-man/man3/alliancebanner.3.gz
-man/man3/allocrdsfig.3.gz
-man/man3/allocrdsins.3.gz
-man/man3/allocrdsrec.3.gz
-man/man3/allocrdsrecwin.3.gz
-man/man3/allocrdswin.3.gz
-man/man3/allocrdswindow.3.gz
-man/man3/allocrdswinrec.3.gz
-man/man3/append.3.gz
-man/man3/applyBdd.3.gz
-man/man3/applyBinBdd.3.gz
-man/man3/applybddnode.3.gz
-man/man3/applybddnodeite.3.gz
-man/man3/applybddnodelist.3.gz
-man/man3/applybddnodenot.3.gz
-man/man3/applybddnodeterm.3.gz
-man/man3/autallocblock.3.gz
-man/man3/autallocheap.3.gz
-man/man3/autfreeblock.3.gz
-man/man3/autfreeheap.3.gz
-man/man3/auth2elem.3.gz
-man/man3/auth2table.3.gz
-man/man3/authelem.3.gz
-man/man3/authtable.3.gz
-man/man3/autresizeblock.3.gz
-man/man3/bddToAblCct.3.gz
-man/man3/beh.3.gz
-man/man3/beh_addbeaux.3.gz
-man/man3/beh_addbebus.3.gz
-man/man3/beh_addbebux.3.gz
-man/man3/beh_addbefig.3.gz
-man/man3/beh_addbegen.3.gz
-man/man3/beh_addbemsg.3.gz
-man/man3/beh_addbeout.3.gz
-man/man3/beh_addbepor.3.gz
-man/man3/beh_addbereg.3.gz
-man/man3/beh_addberin.3.gz
-man/man3/beh_addbiabl.3.gz
-man/man3/beh_addbinod.3.gz
-man/man3/beh_debug.3.gz
-man/man3/beh_delbeaux.3.gz
-man/man3/beh_delbebus.3.gz
-man/man3/beh_delbebux.3.gz
-man/man3/beh_delbefig.3.gz
-man/man3/beh_delbegen.3.gz
-man/man3/beh_delbemsg.3.gz
-man/man3/beh_delbeout.3.gz
-man/man3/beh_delbepor.3.gz
-man/man3/beh_delbereg.3.gz
-man/man3/beh_delberin.3.gz
-man/man3/beh_delbiabl.3.gz
-man/man3/beh_delbinod.3.gz
-man/man3/beh_depend.3.gz
-man/man3/beh_error.3.gz
-man/man3/beh_frebeaux.3.gz
-man/man3/beh_frebebus.3.gz
-man/man3/beh_frebebux.3.gz
-man/man3/beh_frebefig.3.gz
-man/man3/beh_frebegen.3.gz
-man/man3/beh_frebemsg.3.gz
-man/man3/beh_frebeout.3.gz
-man/man3/beh_frebepor.3.gz
-man/man3/beh_frebereg.3.gz
-man/man3/beh_freberin.3.gz
-man/man3/beh_frebiabl.3.gz
-man/man3/beh_frebinod.3.gz
-man/man3/beh_getgenva.3.gz
-man/man3/beh_makbdd.3.gz
-man/man3/beh_makgex.3.gz
-man/man3/beh_message.3.gz
-man/man3/beh_rmvbeaux.3.gz
-man/man3/beh_rmvbebus.3.gz
-man/man3/beh_rmvbebux.3.gz
-man/man3/beh_rmvbefig.3.gz
-man/man3/beh_rmvbegen.3.gz
-man/man3/beh_rmvbemsg.3.gz
-man/man3/beh_rmvbeout.3.gz
-man/man3/beh_rmvbepor.3.gz
-man/man3/beh_rmvbereg.3.gz
-man/man3/beh_rmvberin.3.gz
-man/man3/bigvia.3.gz
-man/man3/buildrdswindow.3.gz
-man/man3/chain.3.gz
-man/man3/checkloconorder.3.gz
-man/man3/clearbddsystemref.3.gz
-man/man3/clearbddsystemrefext.3.gz
-man/man3/clearbddsystemrefint.3.gz
-man/man3/cofactorbddnode.3.gz
-man/man3/composeBdd.3.gz
-man/man3/composebddnode.3.gz
-man/man3/concatname.3.gz
-man/man3/conmbkrds.3.gz
-man/man3/constraintBdd.3.gz
-man/man3/convertbddcircuitabl.3.gz
-man/man3/convertbddcircuitsumabl.3.gz
-man/man3/convertbddindexabl.3.gz
-man/man3/convertbddmuxabl.3.gz
-man/man3/convertbddnodeabl.3.gz
-man/man3/convertbddnodesumabl.3.gz
-man/man3/createNodeTermBdd.3.gz
-man/man3/createablatom.3.gz
-man/man3/createablbinexpr.3.gz
-man/man3/createablnotexpr.3.gz
-man/man3/createabloper.3.gz
-man/man3/createablunaryexpr.3.gz
-man/man3/createablxorbinexpr.3.gz
-man/man3/createbddcircuit.3.gz
-man/man3/createbddsystem.3.gz
-man/man3/decbddrefext.3.gz
-man/man3/decbddrefint.3.gz
-man/man3/defab.3.gz
-man/man3/delablexpr.3.gz
-man/man3/delablexprnum.3.gz
-man/man3/delbddassoc.3.gz
-man/man3/delbddcircuitout.3.gz
-man/man3/delbddnode.3.gz
-man/man3/delbddnodeassoc.3.gz
-man/man3/delbddnodelist.3.gz
-man/man3/delchain.3.gz
-man/man3/delht.3.gz
-man/man3/delhtitem.3.gz
-man/man3/dellocap.3.gz
-man/man3/dellocon.3.gz
-man/man3/dellofig.3.gz
-man/man3/delloins.3.gz
-man/man3/dellores.3.gz
-man/man3/delloself.3.gz
-man/man3/dellosig.3.gz
-man/man3/dellotrs.3.gz
-man/man3/delnum.3.gz
-man/man3/delphcon.3.gz
-man/man3/delphfig.3.gz
-man/man3/delphins.3.gz
-man/man3/delphref.3.gz
-man/man3/delphseg.3.gz
-man/man3/delphvia.3.gz
-man/man3/delptype.3.gz
-man/man3/delrdsfig.3.gz
-man/man3/delrdsfigrec.3.gz
-man/man3/delrdsins.3.gz
-man/man3/delrdsinsrec.3.gz
-man/man3/delrdsrecwindow.3.gz
-man/man3/destroyBdd.3.gz
-man/man3/destroybddassoc.3.gz
-man/man3/destroybddcircuit.3.gz
-man/man3/destroybddsystem.3.gz
-man/man3/destroyrdswindow.3.gz
-man/man3/devablxorexpr.3.gz
-man/man3/devdupablxorexpr.3.gz
-man/man3/displayBdd.3.gz
-man/man3/downstr.3.gz
-man/man3/dupablexpr.3.gz
-man/man3/existbddnodeassocoff.3.gz
-man/man3/existbddnodeassocon.3.gz
-man/man3/figmbkrds.3.gz
-man/man3/filepath.3.gz
-man/man3/flatablexpr.3.gz
-man/man3/flattenlofig.3.gz
-man/man3/flattenphfig.3.gz
-man/man3/freeablexpr.3.gz
-man/man3/freechain.3.gz
-man/man3/freelomodel.3.gz
-man/man3/freenum.3.gz
-man/man3/freeptype.3.gz
-man/man3/freerdsfig.3.gz
-man/man3/freerdsins.3.gz
-man/man3/freerdsrec.3.gz
-man/man3/garbagebddsystem.3.gz
-man/man3/gcNodeBdd.3.gz
-man/man3/getablexprdepth.3.gz
-man/man3/getablexprlength.3.gz
-man/man3/getablexprmax.3.gz
-man/man3/getablexprmin.3.gz
-man/man3/getablexprnum.3.gz
-man/man3/getablexprnumatom.3.gz
-man/man3/getablexprnumbinoper.3.gz
-man/man3/getablexprnumocc.3.gz
-man/man3/getablexprsupport.3.gz
-man/man3/getbddnodenum.3.gz
-man/man3/getbddnodesize.3.gz
-man/man3/getbddnodesupport.3.gz
-man/man3/getbddvarbyindex.3.gz
-man/man3/getbddvarindex.3.gz
-man/man3/getbddvarnode.3.gz
-man/man3/getbddvarnodebyindex.3.gz
-man/man3/gethtitem.3.gz
-man/man3/getlocap.3.gz
-man/man3/getlocon.3.gz
-man/man3/getlofig.3.gz
-man/man3/getloins.3.gz
-man/man3/getlomodel.3.gz
-man/man3/getlores.3.gz
-man/man3/getloself.3.gz
-man/man3/getlosig.3.gz
-man/man3/getphcon.3.gz
-man/man3/getphfig.3.gz
-man/man3/getphins.3.gz
-man/man3/getphref.3.gz
-man/man3/getptype.3.gz
-man/man3/getrdsmodellist.3.gz
-man/man3/getsigname.3.gz
-man/man3/givelosig.3.gz
-man/man3/guessextdir.3.gz
-man/man3/implybddnode.3.gz
-man/man3/incatalog.3.gz
-man/man3/incatalogdelete.3.gz
-man/man3/incatalogfeed.3.gz
-man/man3/incataloggds.3.gz
-man/man3/incbddrefext.3.gz
-man/man3/incbddrefint.3.gz
-man/man3/initializeBdd.3.gz
-man/man3/insconmbkrds.3.gz
-man/man3/insmbkrds.3.gz
-man/man3/insrefmbkrds.3.gz
-man/man3/inssegmbkrds.3.gz
-man/man3/instanceface.3.gz
-man/man3/instr.3.gz
-man/man3/insviambkrds.3.gz
-man/man3/intersectbddnode.3.gz
-man/man3/isablbinaryoper.3.gz
-man/man3/isablequalexpr.3.gz
-man/man3/isablnameinexpr.3.gz
-man/man3/isabloperinexpr.3.gz
-man/man3/isablsimilarexpr.3.gz
-man/man3/isablunaryoper.3.gz
-man/man3/isbddvarinsupport.3.gz
-man/man3/isck.3.gz
-man/man3/isvdd.3.gz
-man/man3/isvss.3.gz
-man/man3/libpat.3.gz
-man/man3/loadlofig.3.gz
-man/man3/loadphfig.3.gz
-man/man3/loadrdsfig.3.gz
-man/man3/loadrdsparam.3.gz
-man/man3/locap.3.gz
-man/man3/locon.3.gz
-man/man3/lofig.3.gz
-man/man3/lofigchain.3.gz
-man/man3/log.3.gz
-man/man3/loins.3.gz
-man/man3/lores.3.gz
-man/man3/loself.3.gz
-man/man3/losig.3.gz
-man/man3/lotrs.3.gz
-man/man3/mapablanyexpr.3.gz
-man/man3/mapableveryexpr.3.gz
-man/man3/mapablexpr.3.gz
-man/man3/mapabloperexpr.3.gz
-man/man3/markAllBdd.3.gz
-man/man3/markBdd.3.gz
-man/man3/markbddnode.3.gz
-man/man3/mbk.3.gz
-man/man3/mbkalloc.3.gz
-man/man3/mbkenv.3.gz
-man/man3/mbkfopen.3.gz
-man/man3/mbkfree.3.gz
-man/man3/mbkgetenv.3.gz
-man/man3/mbkps.3.gz
-man/man3/mbkrealloc.3.gz
-man/man3/mbksetautoackchld.3.gz
-man/man3/mbkunlink.3.gz
-man/man3/mbkwaitpid.3.gz
-man/man3/mlodebug.3.gz
-man/man3/modelmbkrds.3.gz
-man/man3/mphdebug.3.gz
-man/man3/namealloc.3.gz
-man/man3/namefind.3.gz
-man/man3/nameindex.3.gz
-man/man3/naturalstrcmp.3.gz
-man/man3/notBdd.3.gz
-man/man3/numberNodeAllBdd.3.gz
-man/man3/numberNodeBdd.3.gz
-man/man3/phcon.3.gz
-man/man3/phfig.3.gz
-man/man3/phins.3.gz
-man/man3/phref.3.gz
-man/man3/phseg.3.gz
-man/man3/phvia.3.gz
-man/man3/polarablexpr.3.gz
-man/man3/polardupablexpr.3.gz
-man/man3/ptype.3.gz
-man/man3/rdsalloc.3.gz
-man/man3/rdsenv.3.gz
-man/man3/rdsfree.3.gz
-man/man3/refmbkrds.3.gz
-man/man3/relprodbddnodeassoc.3.gz
-man/man3/reorderbddsystemdynamic.3.gz
-man/man3/reorderbddsystemsimple.3.gz
-man/man3/reorderbddsystemtop.3.gz
-man/man3/reorderbddsystemwindow.3.gz
-man/man3/resetBdd.3.gz
-man/man3/resetbddcircuit.3.gz
-man/man3/resetbddsystem.3.gz
-man/man3/restorealldir.3.gz
-man/man3/restoredirvbe.3.gz
-man/man3/restrictbddnode.3.gz
-man/man3/reverse.3.gz
-man/man3/rflattenlofig.3.gz
-man/man3/rflattenphfig.3.gz
-man/man3/roundrdsrec.3.gz
-man/man3/satisfybddnode.3.gz
-man/man3/savelofig.3.gz
-man/man3/savephfig.3.gz
-man/man3/saverdsfig.3.gz
-man/man3/searchbddcircuitin.3.gz
-man/man3/searchbddcircuitout.3.gz
-man/man3/searchrdsfig.3.gz
-man/man3/segmbkrds.3.gz
-man/man3/setbddrefext.3.gz
-man/man3/sethtitem.3.gz
-man/man3/setlocap.3.gz
-man/man3/setlores.3.gz
-man/man3/setloself.3.gz
-man/man3/simpablexpr.3.gz
-man/man3/simpbddnodedcoff.3.gz
-man/man3/simpbddnodedcon.3.gz
-man/man3/simpdupablexpr.3.gz
-man/man3/simplifDcOneBdd.3.gz
-man/man3/simplifDcZeroBdd.3.gz
-man/man3/sortlocon.3.gz
-man/man3/sortlosig.3.gz
-man/man3/substablexpr.3.gz
-man/man3/substbddnodeassoc.3.gz
-man/man3/substdupablexpr.3.gz
-man/man3/supportChain_listBdd.3.gz
-man/man3/swapbddvar.3.gz
-man/man3/testbddcircuit.3.gz
-man/man3/unflatablexpr.3.gz
-man/man3/unflattenlofig.3.gz
-man/man3/unmarkbddnode.3.gz
-man/man3/unsetbddrefext.3.gz
-man/man3/upVarBdd.3.gz
-man/man3/upstr.3.gz
-man/man3/vhdlablname.3.gz
-man/man3/vhdlablvector.3.gz
-man/man3/viambkrds.3.gz
-man/man3/viewablexpr.3.gz
-man/man3/viewablexprfile.3.gz
-man/man3/viewablexprstr.3.gz
-man/man3/viewbddcircuit.3.gz
-man/man3/viewbddnode.3.gz
-man/man3/viewbddsystem.3.gz
-man/man3/viewbddsysteminfo.3.gz
-man/man3/viewht.3.gz
-man/man3/viewlo.3.gz
-man/man3/viewlocap.3.gz
-man/man3/viewlofig.3.gz
-man/man3/viewlofigcon.3.gz
-man/man3/viewloins.3.gz
-man/man3/viewloinscon.3.gz
-man/man3/viewlores.3.gz
-man/man3/viewloself.3.gz
-man/man3/viewlosig.3.gz
-man/man3/viewlotrs.3.gz
-man/man3/viewph.3.gz
-man/man3/viewphcon.3.gz
-man/man3/viewphfig.3.gz
-man/man3/viewphins.3.gz
-man/man3/viewphref.3.gz
-man/man3/viewphseg.3.gz
-man/man3/viewphvia.3.gz
-man/man3/viewrdsfig.3.gz
-man/man3/viewrdsins.3.gz
-man/man3/viewrdsparam.3.gz
-man/man3/viewrdsrec.3.gz
-man/man3/viewrdswindow.3.gz
-man/man3/viewrfmcon.3.gz
-man/man3/viewrfmfig.3.gz
-man/man3/viewrfmins.3.gz
-man/man3/viewrfmrec.3.gz
-man/man3/viewrfmref.3.gz
-man/man3/viewrfmseg.3.gz
-man/man3/viewrfmvia.3.gz
-man/man3/xyflat.3.gz
-man/man5/al.5.gz
-man/man5/ap.5.gz
-man/man5/catal.5.gz
-man/man5/ctl.5.gz
-man/man5/fsm.5.gz
-man/man5/lax.5.gz
-man/man5/pat.5.gz
-man/man5/prol.5.gz
-man/man5/spi.5.gz
-man/man5/sxlib.5.gz
-man/man5/vasy.5.gz
-man/man5/vbe.5.gz
-man/man5/vhdl.5.gz
-man/man5/vst.5.gz
+share/man/man1/MBK_CATAL_NAME.1.gz
+share/man/man1/MBK_CATA_LIB.1.gz
+share/man/man1/MBK_CK.1.gz
+share/man/man1/MBK_FILTER_SFX.1.gz
+share/man/man1/MBK_IN_FILTER.1.gz
+share/man/man1/MBK_IN_LO.1.gz
+share/man/man1/MBK_IN_PH.1.gz
+share/man/man1/MBK_OUT_FILTER.1.gz
+share/man/man1/MBK_OUT_LO.1.gz
+share/man/man1/MBK_OUT_PH.1.gz
+share/man/man1/MBK_SEPAR.1.gz
+share/man/man1/MBK_TRACE_GETENV.1.gz
+share/man/man1/MBK_VDD.1.gz
+share/man/man1/MBK_VSS.1.gz
+share/man/man1/MBK_WORK_LIB.1.gz
+share/man/man1/abl.1.gz
+share/man/man1/alc_bug_report.1.gz
+share/man/man1/alc_origin.1.gz
+share/man/man1/alcbanner.1.gz
+share/man/man1/asimut.1.gz
+share/man/man1/attila.1.gz
+share/man/man1/aut.1.gz
+share/man/man1/bdd.1.gz
+share/man/man1/boog.1.gz
+share/man/man1/boom.1.gz
+share/man/man1/cougar.1.gz
+share/man/man1/dreal.1.gz
+share/man/man1/druc.1.gz
+share/man/man1/exp.1.gz
+share/man/man1/flatbeh.1.gz
+share/man/man1/flatlo.1.gz
+share/man/man1/flatph.1.gz
+share/man/man1/fmi.1.gz
+share/man/man1/fsm.1.gz
+share/man/man1/fsp.1.gz
+share/man/man1/genlib.1.gz
+share/man/man1/genpat.1.gz
+share/man/man1/graal.1.gz
+share/man/man1/k2f.1.gz
+share/man/man1/l2p.1.gz
+share/man/man1/log.1.gz
+share/man/man1/loon.1.gz
+share/man/man1/lvx.1.gz
+share/man/man1/m2e.1.gz
+share/man/man1/moka.1.gz
+share/man/man1/nero.1.gz
+share/man/man1/ocp.1.gz
+share/man/man1/pat2spi.1.gz
+share/man/man1/proof.1.gz
+share/man/man1/ring.1.gz
+share/man/man1/s2r.1.gz
+share/man/man1/scapin.1.gz
+share/man/man1/syf.1.gz
+share/man/man1/vasy.1.gz
+share/man/man1/x2y.1.gz
+share/man/man1/xpat.1.gz
+share/man/man1/xsch.1.gz
+share/man/man3/AFFECT.3.gz
+share/man/man3/ARRAY.3.gz
+share/man/man3/DECLAR.3.gz
+share/man/man3/DEF_GENPAT.3.gz
+share/man/man3/DPGEN_ADSB2F.3.gz
+share/man/man3/DPGEN_AND2.3.gz
+share/man/man3/DPGEN_AND3.3.gz
+share/man/man3/DPGEN_AND4.3.gz
+share/man/man3/DPGEN_BUFF.3.gz
+share/man/man3/DPGEN_BUSE.3.gz
+share/man/man3/DPGEN_CONST.3.gz
+share/man/man3/DPGEN_DFF.3.gz
+share/man/man3/DPGEN_DFFT.3.gz
+share/man/man3/DPGEN_FIFO.3.gz
+share/man/man3/DPGEN_INV.3.gz
+share/man/man3/DPGEN_MUX2.3.gz
+share/man/man3/DPGEN_NAND2.3.gz
+share/man/man3/DPGEN_NAND2MASK.3.gz
+share/man/man3/DPGEN_NAND3.3.gz
+share/man/man3/DPGEN_NAND4.3.gz
+share/man/man3/DPGEN_NBUSE.3.gz
+share/man/man3/DPGEN_NMUX2.3.gz
+share/man/man3/DPGEN_NOR2.3.gz
+share/man/man3/DPGEN_NOR2MASK.3.gz
+share/man/man3/DPGEN_NOR3.3.gz
+share/man/man3/DPGEN_NOR4.3.gz
+share/man/man3/DPGEN_NUL.3.gz
+share/man/man3/DPGEN_OR2.3.gz
+share/man/man3/DPGEN_OR3.3.gz
+share/man/man3/DPGEN_OR4.3.gz
+share/man/man3/DPGEN_RF1.3.gz
+share/man/man3/DPGEN_RF1D.3.gz
+share/man/man3/DPGEN_ROM2.3.gz
+share/man/man3/DPGEN_ROM4.3.gz
+share/man/man3/DPGEN_SFF.3.gz
+share/man/man3/DPGEN_SFFT.3.gz
+share/man/man3/DPGEN_SHIFT.3.gz
+share/man/man3/DPGEN_XNOR2.3.gz
+share/man/man3/DPGEN_XNOR2MASK.3.gz
+share/man/man3/DPGEN_XOR2.3.gz
+share/man/man3/GENLIB_BUS.3.gz
+share/man/man3/GENLIB_COPY_UP_ALL_CON.3.gz
+share/man/man3/GENLIB_COPY_UP_ALL_REF.3.gz
+share/man/man3/GENLIB_COPY_UP_CON.3.gz
+share/man/man3/GENLIB_COPY_UP_CON_FACE.3.gz
+share/man/man3/GENLIB_COPY_UP_REF.3.gz
+share/man/man3/GENLIB_COPY_UP_SEG.3.gz
+share/man/man3/GENLIB_DEF_AB.3.gz
+share/man/man3/GENLIB_DEF_LOFIG.3.gz
+share/man/man3/GENLIB_DEF_PHFIG.3.gz
+share/man/man3/GENLIB_DEF_PHINS.3.gz
+share/man/man3/GENLIB_DEF_PHSC.3.gz
+share/man/man3/GENLIB_ELM.3.gz
+share/man/man3/GENLIB_FLATTEN_ALL_LOINS.3.gz
+share/man/man3/GENLIB_FLATTEN_ALL_PHINS.3.gz
+share/man/man3/GENLIB_FLATTEN_LOFIG.3.gz
+share/man/man3/GENLIB_FLATTEN_PHFIG.3.gz
+share/man/man3/GENLIB_GET_CON_X.3.gz
+share/man/man3/GENLIB_GET_CON_Y.3.gz
+share/man/man3/GENLIB_GET_INS_X.3.gz
+share/man/man3/GENLIB_GET_INS_Y.3.gz
+share/man/man3/GENLIB_GET_REF_X.3.gz
+share/man/man3/GENLIB_GET_REF_Y.3.gz
+share/man/man3/GENLIB_HEIGHT.3.gz
+share/man/man3/GENLIB_LOAD_LOFIG.3.gz
+share/man/man3/GENLIB_LOAD_PHFIG.3.gz
+share/man/man3/GENLIB_LOCAP.3.gz
+share/man/man3/GENLIB_LOCON.3.gz
+share/man/man3/GENLIB_LOINS.3.gz
+share/man/man3/GENLIB_LOINSE.3.gz
+share/man/man3/GENLIB_LORES.3.gz
+share/man/man3/GENLIB_LOSELF.3.gz
+share/man/man3/GENLIB_LOSIG.3.gz
+share/man/man3/GENLIB_LOSIGMERGE.3.gz
+share/man/man3/GENLIB_LOTRS.3.gz
+share/man/man3/GENLIB_MACRO.3.gz
+share/man/man3/GENLIB_OUTLINE.3.gz
+share/man/man3/GENLIB_PHCON.3.gz
+share/man/man3/GENLIB_PHREF.3.gz
+share/man/man3/GENLIB_PHSEG.3.gz
+share/man/man3/GENLIB_PHVIA.3.gz
+share/man/man3/GENLIB_PLACE.3.gz
+share/man/man3/GENLIB_PLACE_BOTTOM.3.gz
+share/man/man3/GENLIB_PLACE_CON_REF.3.gz
+share/man/man3/GENLIB_PLACE_LEFT.3.gz
+share/man/man3/GENLIB_PLACE_ON.3.gz
+share/man/man3/GENLIB_PLACE_RIGHT.3.gz
+share/man/man3/GENLIB_PLACE_SEG_REF.3.gz
+share/man/man3/GENLIB_PLACE_TOP.3.gz
+share/man/man3/GENLIB_PLACE_VIA_REF.3.gz
+share/man/man3/GENLIB_REVERSE_PHCON.3.gz
+share/man/man3/GENLIB_SAVE_LOFIG.3.gz
+share/man/man3/GENLIB_SAVE_PHFIG.3.gz
+share/man/man3/GENLIB_SAVE_PHSC.3.gz
+share/man/man3/GENLIB_SC_BOTTOM.3.gz
+share/man/man3/GENLIB_SC_LEFT.3.gz
+share/man/man3/GENLIB_SC_PLACE.3.gz
+share/man/man3/GENLIB_SC_RIGHT.3.gz
+share/man/man3/GENLIB_SC_TOP.3.gz
+share/man/man3/GENLIB_SET_LOCAP.3.gz
+share/man/man3/GENLIB_SET_LORES.3.gz
+share/man/man3/GENLIB_SET_LOSELF.3.gz
+share/man/man3/GENLIB_UNFLATTEN_LOFIG.3.gz
+share/man/man3/GENLIB_WIRE1.3.gz
+share/man/man3/GENLIB_WIRE2.3.gz
+share/man/man3/GENLIB_WIRE3.3.gz
+share/man/man3/GETCPAT.3.gz
+share/man/man3/INIT.3.gz
+share/man/man3/LABEL.3.gz
+share/man/man3/SAVE.3.gz
+share/man/man3/ablToBddCct.3.gz
+share/man/man3/addListBdd.3.gz
+share/man/man3/addablhexpr.3.gz
+share/man/man3/addablqexpr.3.gz
+share/man/man3/addbddassoc.3.gz
+share/man/man3/addbddcircuitabl.3.gz
+share/man/man3/addbddcircuitin.3.gz
+share/man/man3/addbddcircuitout.3.gz
+share/man/man3/addbddnode.3.gz
+share/man/man3/addbddnodeassoc.3.gz
+share/man/man3/addbddnodelist.3.gz
+share/man/man3/addbddvar.3.gz
+share/man/man3/addbddvarafter.3.gz
+share/man/man3/addbddvarbefore.3.gz
+share/man/man3/addbddvarfirst.3.gz
+share/man/man3/addbddvarlast.3.gz
+share/man/man3/addcapa.3.gz
+share/man/man3/addchain.3.gz
+share/man/man3/addht.3.gz
+share/man/man3/addhtitem.3.gz
+share/man/man3/addlocap.3.gz
+share/man/man3/addlocon.3.gz
+share/man/man3/addlofig.3.gz
+share/man/man3/addloins.3.gz
+share/man/man3/addlomodel.3.gz
+share/man/man3/addlores.3.gz
+share/man/man3/addloself.3.gz
+share/man/man3/addlosig.3.gz
+share/man/man3/addlotrs.3.gz
+share/man/man3/addnum.3.gz
+share/man/man3/addphcon.3.gz
+share/man/man3/addphfig.3.gz
*** 817 LINES SKIPPED ***