diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/Makefile.am | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index 415eb828f..2b2805232 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -1,6 +1,6 @@ # Make coreutils man pages. -*-Makefile-*- -# Copyright (C) 2002-2008 Free Software Foundation, Inc. +# Copyright (C) 2002-2009 Free Software Foundation, Inc. # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -132,6 +132,10 @@ who.1: $(common_dep) $(srcdir)/who.x ../src/who.c whoami.1: $(common_dep) $(srcdir)/whoami.x ../src/whoami.c yes.1: $(common_dep) $(srcdir)/yes.x ../src/yes.c +# This is required so that changes to e.g., emit_bug_reporting_address +# provoke regeneration of all $(MAN) files. +$(MAN): $(top_srcdir)/src/system.h + SUFFIXES = .x .1 # Ensure that help2man runs the ../src/ginstall binary as |