man_MANS =
mping.8
EXTRA_DIST =
$(man_MANS)
syntax highlighted by
Code2HTML
, v. 0.9.1