diff options
| author | Stefano Lattarini <stefano.lattarini@gmail.com> | 2012-09-01 01:46:50 +0200 |
|---|---|---|
| committer | Jim Meyering <meyering@redhat.com> | 2012-09-01 21:28:12 +0200 |
| commit | 7ac3e4502e62520e1855f5c8128ae658e1925ea2 (patch) | |
| tree | def5375756c6182fc35793561d646b483f9c9b70 /man/local.mk | |
| parent | f3244dcab61e9936d69c9120714743fd5cb6812a (diff) | |
| download | coreutils-7ac3e4502e62520e1855f5c8128ae658e1925ea2.tar.xz | |
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.
Diffstat (limited to 'man/local.mk')
| -rw-r--r-- | man/local.mk | 10 |
1 files changed, 6 insertions, 4 deletions
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 |