On Wednesday 12 January 2005 17:07, Diego Biurrun wrote: > Sebastian Krämer writes: > > DOCS/HTML/$_doc_lang/faq.html > > > > along with some other entries (see `grep "DOCS/HTML" configure`) > > Huh? Those are the generated HTML files.. Ok, yes. I just had not generated the HTML documentation. Sorry. Sebastian