Remove files after adding them to the archive.
This document was generated by Sergey Poznyakoff on March, 12 2011 using texi2html 1.78.