add web.texi to manual