man_MANS  = proof.1
EXTRA_DIST = $(man_MANS)