Pavel Roskin 7642675ddf Use "dist_" prefix to minimize use of EXTRA_DIST ... "dist" is ignored in presense of "noinst", so keep noinst_man_MANS.		2016-02-22 22:11:57 -08:00
..
man	Use "dist_" prefix to minimize use of EXTRA_DIST	2016-02-22 22:11:57 -08:00
Makefile.am	added docs	2008-08-17 03:13:40 +00:00