<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\def\webmacs{null}
\documentstyle[a4,%
%times,%
makeidx,%
newdoc,web]{article}
\EnableCrossrefs
\CodelineIndex
\begin{document} 
\DocInput{web.doc}
\PrintIndex
\end{document}


</pre></body></html>