summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStefano Lattarini <stefano.lattarini@gmail.com>2012-09-01 01:46:50 +0200
committerJim Meyering <meyering@redhat.com>2012-09-01 21:28:12 +0200
commit7ac3e4502e62520e1855f5c8128ae658e1925ea2 (patch)
treedef5375756c6182fc35793561d646b483f9c9b70
parentf3244dcab61e9936d69c9120714743fd5cb6812a (diff)
downloadcoreutils-7ac3e4502e62520e1855f5c8128ae658e1925ea2.tar.gz
coreutils-7ac3e4502e62520e1855f5c8128ae658e1925ea2.zip
build: rename dist_man1_MANS -> man1_MANS
And list $(man1_MANS) directly in $(EXTRA_DIST) instead. This is similar to what is done for $(EXTRA_MANS), thus improving consistency and readability. * man/local.mk (dist_man1_MANS): Rename ... (man1_MANS): ... like this. (EXTRA_DIST): Add its contents. * cfg.mk (check-x-vs-1): Fix a botched comment.
-rw-r--r--cfg.mk2
-rw-r--r--man/local.mk10
2 files changed, 7 insertions, 5 deletions
diff --git a/cfg.mk b/cfg.mk
index 2323fa3f2..a3a4d4c12 100644
--- a/cfg.mk
+++ b/cfg.mk
@@ -206,7 +206,7 @@ sc_option_desc_uppercase: $(ALL_MANS)
sc_man_file_correlation: check-x-vs-1 check-programs-vs-x
# Ensure that for each .x file in the 'man/' subdirectory, there is a
-# corresponding .1 file in the definition of $(dist_man1_MANS).
+# corresponding .1 file in the definition of $(EXTRA_MANS).
# But since that expansion usually lacks programs like arch and hostname,
# add them here manually.
.PHONY: check-x-vs-1
diff --git a/man/local.mk b/man/local.mk
index 717a8772d..5e8982910 100644
--- a/man/local.mk
+++ b/man/local.mk
@@ -16,16 +16,18 @@
# You should have received a copy of the GNU General Public License
# along with this program. If not, see <http://www.gnu.org/licenses/>.
-dist_man1_MANS = $(MAN)
+EXTRA_DIST += man/help2man
-EXTRA_DIST += $(dist_man1_MANS:.1=.x) man/help2man
-MAINTAINERCLEANFILES += $(dist_man1_MANS)
+man1_MANS = $(MAN)
+
+EXTRA_DIST += $(man1_MANS) $(man1_MANS:.1=.x)
+MAINTAINERCLEANFILES += $(man1_MANS)
EXTRA_MANS = @EXTRA_MANS@
EXTRA_DIST += $(EXTRA_MANS) $(EXTRA_MANS:.1=.x)
-ALL_MANS = $(dist_man1_MANS) $(EXTRA_MANS)
+ALL_MANS = $(man1_MANS) $(EXTRA_MANS)
# This is required because we have subtle inter-directory dependencies:
# in order to generate all man pages, even those for which we don't