projects / platform / upstream / coreutils.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f3244dc) | patch
build: rename dist_man1_MANS -> man1_MANS
authorStefano Lattarini <stefano.lattarini@gmail.com>
Fri, 31 Aug 2012 23:46:50 +0000 (01:46 +0200)
committerJim Meyering <meyering@redhat.com>
Sat, 1 Sep 2012 19:28:12 +0000 (21:28 +0200)
commit7ac3e4502e62520e1855f5c8128ae658e1925ea2
treedef5375756c6182fc35793561d646b483f9c9b70tree | snapshot
parentf3244dcab61e9936d69c9120714743fd5cb6812acommit | diff
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.
cfg.mk diff | blob | history
man/local.mk diff | blob | history
Domain: System / Uncategorized;