[Maxima] 5.17 release branch tagged in cvs; trouble w/ texinfo output

[Robert Dodier]

Hello,

I've tagged release-5_17-base and RELEASE-5_17-BRANCH in cvs.

I'm having trouble with the build -- looks like the English-language
maxima.info* files are generated but they are not put into the tarball
by make dist-gzip. (However the foreign-language maxima.info* files
are in the tarball. Also imaxima.info and xmaxima.info are there.)

rpmbuild -ba ./maxima.spec fails with error messages about the
texinfo stuff; probably fixing the problem above would make this
problem go away.

Can someone figure out how to get the maxima.info* files into the tarball?

Thanks for your help,

Robert Dodier