Do not put Texi2html output under version control. There is no clear
relation between repository documentation entries and files output by
Texi2html program. A numerical identifer is used when new files are
required and that same number is decressed when no longer needed.
- A bette way to handle this, could be to create a tagged revision
for the whole Texi2html output from time to time.