man_MANS  = composeBdd.3	    initializeBdd.3	resetBdd.3 \
ablToBddCct.3  constraintBdd.3	    markAllBdd.3	simplifDcOneBdd.3 \
addListBdd.3   createNodeTermBdd.3  markBdd.3		simplifDcZeroBdd.3 \
applyBdd.3     destroyBdd.3	    notBdd.3		supportChain_listBdd.3 \
applyBinBdd.3  displayBdd.3	    numberNodeAllBdd.3	upVarBdd.3 \
bddToAblCct.3  gcNodeBdd.3	    numberNodeBdd.3

EXTRA_DIST = $(man_MANS)