summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJim Meyering <meyering@redhat.com>2008-03-19 08:46:41 +0100
committerJim Meyering <meyering@redhat.com>2008-03-19 08:46:41 +0100
commit4b544e447eb78fd1f031a026a499f6aed177808a (patch)
treef2194ccbfe5e2ecaffbff1fde729147fe100308b
parent2708cd9ca0d7d3babc0886409393eb827aa885fd (diff)
downloadcoreutils-4b544e447eb78fd1f031a026a499f6aed177808a.tar.xz
"make" would not always update man/*.1 files (but "make dist" would)
* man/Makefile.am (BUILT_SOURCES): Define, so that "make" always updates man/*.1 files. Reported by Bob Proulx.
-rw-r--r--man/Makefile.am1
1 files changed, 1 insertions, 0 deletions
diff --git a/man/Makefile.am b/man/Makefile.am
index 9076afcb0..c4da8f703 100644
--- a/man/Makefile.am
+++ b/man/Makefile.am
@@ -16,6 +16,7 @@
# along with this program. If not, see <http://www.gnu.org/licenses/>.
dist_man_MANS = $(MAN)
+BUILT_SOURCES = $(MAN)
man_aux = $(dist_man_MANS:.1=.x)