man_MANS  = dreal.1
EXTRA_DIST = $(man_MANS)