( cd usr/lib/teTeX/texmf/doc/help/Catalogue ; rm -rf index.html )
( cd usr/lib/teTeX/texmf/doc/help/Catalogue ; ln -sf catalogue.html index.html )