Hello,
make creates imaxima.info and make install copies it to /usr/local/info/.
So far, so good.
However, make dist-gzip does not store imaxima.info in the tarball.
Otoh xmaxima.info is stored. I looked at the Makefile.am's for
imaxima and for xmaxima and I don't see any difference in the
way the Texinfo stuff is handled.
How can I convince make dist-gzip to put imaxima.info in the tarball?
Please advise.
Also, I have removed imaxima.info from CVS since it is generated automatically.
Thanks for your help,
Robert Dodier