configure && make dist fails

[Bernhard Voelker]

Reported by Philipp Thomas.

With the new build system, when I omit the explicit 'make' step,
the following 'make dist' fails.

  $ git clean -xdf
  $ ./bootstrap
  $ ./configure
  $ # ==== NO 'make' HERE ====
  $ make dist
  [...]
  make  \
    top_distdir="coreutils-8.20.20-e73bb" distdir="coreutils-8.20.20-e73bb" \
    dist-info dist-hook
  make[2]: Entering directory `/media/sdb5/berny/git/coreutils'
    MAKEINFO doc/coreutils.info
    GEN      gen-ChangeLog
  gitlog-to-changelog: warning: missing email address for Niels Möller
    CC       lib/set-mode-acl.o
    CC       lib/copy-acl.o
    CC       lib/file-has-acl.o
    CC       lib/allocator.o
    CC       lib/areadlink.o
    CC       lib/areadlink-with-size.o
    CC       lib/areadlinkat.o
    CC       lib/argmatch.o
    CC       lib/argv-iter.o
  In file included from lib/argv-iter.c:20:0:
  lib/argv-iter.h:21:25: fatal error: arg-nonnull.h: No such file or directory
  compilation terminated.
  make[2]: *** [lib/argv-iter.o] Error 1
  make[2]: Leaving directory `/media/sdb5/berny/git/coreutils'
  make[1]: *** [distdir] Error 2
  make[1]: Leaving directory `/media/sdb5/berny/git/coreutils'
  make: *** [dist] Error 2

The same happens with a dist tarball:

 $ tar xf ~/coreutils/coreutils-8.20.20-e73bb.tar.xz
 $ cd coreutils-8.20.20-e73bb
 $ ./configure
 $ make dist
 [...]
 make: *** [dist] Error 2


Isn't this supposed to work?

Have a nice day,
Berny