2 Commits

Author	SHA1	Message	Date
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
Gustavo Homem	4c24a5605d	Changes related to integration	2013-03-18 22:06:10 +00:00