Re: preventing re-running of texi2dvi?

[Andre Caldas]

Hello, Dan!

Sorry for the last "wrong" advice.

I've been searching, and I think that maybe you should not use 
EXTRA_DIST. I guess EXTRA_DIST is for files that "are not covered in the 
automatic rules".

I guess you should use:
dist_html_docs= ${info_TEXINFOS:.texi=.html}
dist_ps_docs=   ${info_TEXINFOS:.texi=.ps}
dist_pdf_docs=  ${info_TEXINFOS:.texi=.pdf}

By the way, it seems that it is important to try to "make distcheck" 
your package.

Andre Caldas.