projects / platform / upstream / coreutils.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2708cd9)
"make" would not always update man/*.1 files (but "make dist" would)
authorJim Meyering <meyering@redhat.com>
Wed, 19 Mar 2008 07:46:41 +0000 (08:46 +0100)
committerJim Meyering <meyering@redhat.com>
Wed, 19 Mar 2008 07:46:41 +0000 (08:46 +0100)
* man/Makefile.am (BUILT_SOURCES): Define, so that "make" always
updates man/*.1 files.  Reported by Bob Proulx.

man/Makefile.am patch | blob | history

diff --git a/man/Makefile.am b/man/Makefile.am
index 9076afc..c4da8f7 100644 (file)
--- 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)
 
Domain: System / Uncategorized;