Commit Graph

2 Commits (f7b0b0d89c96160e77a2a57bed4bb6a887b32af6)

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.
9 years ago
Gustavo Homem 4c24a5605d Changes related to integration 12 years ago