"make dist" error

[Bruno Haible]

Hi,

I'm trying to create a texinfo tarball from the current git (for testing
on CentOS 8-stream...) and am getting this error:

$ ./autogen.sh
...
$ ./configure
...
$ make
...
$ make dist
...
make[3]: Entering directory 
'/media/develdata/www-archive/source/newest/texinfo-git/texinfo/doc'
make  distdir-am
make[4]: Entering directory 
'/media/develdata/www-archive/source/newest/texinfo-git/texinfo/doc'
make[4]: *** No rule to make target 'refcard/txirefcard-a4.pdf', needed by 
'distdir-am'.  Stop.

I can do
$ (cd doc/refcard && make txirefcard-a4.pdf)
Then the next one is:

$ make dist
...
make[3]: Entering directory 
'/media/develdata/www-archive/source/newest/texinfo-git/texinfo/doc'
make  distdir-am
make[4]: Entering directory 
'/media/develdata/www-archive/source/newest/texinfo-git/texinfo/doc'
make[4]: *** No rule to make target 'refcard/txirefcard.pdf', needed by 
'distdir-am'.  Stop.

I do:
$ (cd doc/refcard && make txirefcard.pdf)
Then "make dist" proceeds.

Suggestion: Add to doc/Makefile rules to recurse into the doc/refcard/
directory, in order to create these two files, when needed.

Bruno