preventing re-running of texi2dvi?

[Dan McMahill]

I'd like to be able to include the .pdf, .ps, and .html format manuals
in my distfile and not have 'make clean' cause them to be rebuilt.  The
manual source is foo.texi.  I've added

info_TEXINFOS=  foo.texi
pkgdata_DATA=   ${html_docs} ${ps_docs} ${pdf_docs}

html_docs=      ${info_TEXINFOS:.texi=.html}
ps_docs=        ${info_TEXINFOS:.texi=.ps}
pdf_docs=       ${info_TEXINFOS:.texi=.pdf}

EXTRA_DIST= ${html_docs} ${ps_docs} ${pdf_docs} 

I end up with foo.{ps,pdf,html} in the distfile, but if a user
runs 'make clean', then those files get removed.  Now if they
don't have TeX installed, they can't rebuild them.  Surely I'm
just doing something silly?

Thanks

-Dan

--