--- tetex-src-3.0/texk/tetex/texdoc.wwwbrowser	2004-12-02 15:31:00.000000000 +0100
+++ tetex-src-3.0/texk/tetex/texdoc	2005-09-18 10:46:05.000000000 +0200
@@ -92,7 +92,7 @@
 	: ${TEXDOCVIEW_dvi='(xdvi %s) &'}
 	: ${TEXDOCVIEW_pdf='(acroread %s) &'}
 	: ${TEXDOCVIEW_ps='(gv %s) &'}
-	: ${TEXDOCVIEW_html='mozilla -remote openURL'"'(%s)'"' 2>/dev/null || mozilla %s &'}
+	: ${TEXDOCVIEW_html='www-browser %s &'}
 	: ${TEXDOCVIEW_txt="${PAGER-more} %s"}
 	: ${TEXDOCVIEW_="${PAGER-more} %s"} # no extension, default to pager
         extlist='.dvi .dvi.gz .dvi.bz2 .pdf .pdf.gz .pdf.bz2 .ps .ps.gz .ps.bz2 .txt .txt.gz .txt.bz2 .html'