<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div>Am 15.12.2009 um 00:01 schrieb Karl Berry:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div> BTW, does have somebody a handy makefile (or is there any other<br> way?) to delete the text4ht files and remnants in the original dir?<br><br>Not sure how useful it'll be, but for the TL documentation, I remove<br>these:<br><br>clean:<br><span class="Apple-tab-span" style="white-space:pre">        </span>rm -f *.aux *.log *.blg *.toc *.out *.lot tex4ht.ps *.4*<br><span class="Apple-tab-span" style="white-space:pre">        </span>rm -f *.xref* *.lg *.idv *.out *.otc *.tmp tmp.*<br><span class="Apple-tab-span" style="white-space:pre">        </span>rm -f $(doc).dvi $(doc).ps<br><br>realclean: clean<br><span class="Apple-tab-span" style="white-space:pre">        </span>rm -f $(doc).pdf<br><span class="Apple-tab-span" style="white-space:pre">        </span>rm -f *.html *.htm $(doc).css *.gif *.jpg<br></div></blockquote></div><div><br></div><div>Thanks for the information, Karl. I am going to test that.</div><div><br></div>Best<br><div>
<span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: 'Lucida Grande'; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><div><div>--</div><div><span class="Apple-tab-span" style="white-space: pre; ">        </span>Christian</div><div><br></div><div><br></div><div>-We've really achieved the ideal of what I wanted Microsoft to become.-</div><div><p id="speech_name" align="">Bill Gates, June 2008</p></div></div></span>
</div>
<br></body></html>