Caveat: Collecting the raw data for index.html files is easy using the MakeHTML script in teTeX. But making these index What is MakeHTML?