[PATCH 13/22] build: rename dist_man1_MANS -> man1_MANS

[Stefano Lattarini]

And list $(man1_MANS) directly in $(EXTRA_DIST) instead.  This
offers more similarity to what is done for $(EXTRA_MANS)

* 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       |  2 +-
 man/local.mk | 10 ++++++----
 2 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/cfg.mk b/cfg.mk
index 2323fa3..a3a4d4c 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 717a877..5e89829 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
-- 
1.7.12