diff options
| author | Stefano Lattarini <stefano.lattarini@gmail.com> | 2012-09-01 01:46:49 +0200 |
|---|---|---|
| committer | Jim Meyering <meyering@redhat.com> | 2012-09-01 21:28:12 +0200 |
| commit | f3244dcab61e9936d69c9120714743fd5cb6812a (patch) | |
| tree | edacce7c2f0ca2f9cd03809e1afd626c5f1626ac | |
| parent | 59da6f1e6fb5701fe2a78ebe4a7841d0d1b3ef7a (diff) | |
| download | coreutils-f3244dcab61e9936d69c9120714743fd5cb6812a.tar.xz | |
build: one less unneeded make variable
* man/local.mk (man_aux): This was used only once, so inline its
expansion at its sole point of use ...
(EXTRA_DIST): ... here.
| -rw-r--r-- | man/local.mk | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/man/local.mk b/man/local.mk index f48744291..717a8772d 100644 --- a/man/local.mk +++ b/man/local.mk @@ -18,9 +18,7 @@ dist_man1_MANS = $(MAN) -man_aux = $(dist_man1_MANS:.1=.x) - -EXTRA_DIST += $(man_aux) man/help2man +EXTRA_DIST += $(dist_man1_MANS:.1=.x) man/help2man MAINTAINERCLEANFILES += $(dist_man1_MANS) EXTRA_MANS = @EXTRA_MANS@ |