Add a check to detect this problem, in case it reappears.

* maint.mk (my-distcheck): Run "make install", and then ensure
that ls.1 is installed.

diff --git a/maint.mk b/maint.mk
index 9f49b6e..0371ee9 100644 (file)
--- a/maint.mk
+++ b/maint.mk
@@ -592,10 +592,12 @@ my-distcheck: $(local-check) check
        mkdir -p $(t)
        GZIP=$(GZIP_ENV) $(AMTAR) -C $(t) -zxf $(distdir).tar.gz
        cd $(t)/$(distdir)                              \
-         && ./configure --disable-nls                  \
+         && ./configure --disable-nls --prefix=$(t)/i  \
          && $(MAKE) CFLAGS='$(warn_cflags)'            \
              AM_MAKEFLAGS='$(null_AM_MAKEFLAGS)'       \
          && $(MAKE) dvi                                \
+         && $(MAKE) install                            \
+         && test -f $(mandir)/man1/ls.1                \
          && mkdir $(bin)                               \
          && ($(write_loser)) > $(bin)/loser            \
          && chmod a+x $(bin)/loser                     \