/usr/share/mozart/doc/tools/index.html is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>Oz Shell Utilities</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><P class="margin"><A href="../index.html">Top</A><BR><A href="http://www.mozart-oz.org/download/view.cgi?action=print&class=tools&name=ShellTools">Print</A></P><H1 align="center" class="title">Oz Shell Utilities</H1><H2 align="center" class="authors"><A href="http://www.ps.uni-sb.de/~duchier/">Denys Duchier</A>, <A href="http://www.ps.uni-sb.de/~kornstae/">Leif Kornstaedt</A> and <A href="http://www.ps.uni-sb.de/~schulte/">Christian Schulte</A></H2><BLOCKQUOTE><P> </P></BLOCKQUOTE><HR><UL class="toc"><LI><A href="toc.html#label1">Table of Contents</A></LI></UL><UL class="toc"><LI><A href="node1.html#chapter.ozengine">1 The Oz Engine: <CODE>ozengine</CODE></A></LI></UL><UL class="toc"><LI><A href="node2.html#chapter.compiler">2 The Oz Compiler: <CODE>ozc</CODE></A></LI></UL><UL class="toc"><LI><A href="node7.html#chapter.linker">3 The Oz Linker: <CODE>ozl</CODE></A></LI></UL><UL class="toc"><LI><A href="node12.html#chapter.debugger">4 The Oz Debugger: <CODE>ozd</CODE></A></LI></UL><UL class="toc"><LI><A href="node13.html#chapter.profiler">5 The Oz Profiler: <CODE>ozd -p</CODE></A></LI></UL><UL class="toc"><LI><A href="node14.html#chapter.oztool">6 The Oz DLL Builder: <CODE>oztool</CODE></A></LI></UL><UL class="toc"><LI><A href="node15.html#chapter.convert">7 Conversion of Pickles: <CODE>convertTextPickle</CODE></A></LI></UL><UL class="toc"><LI><A href="idx.html#label19">Index</A></LI></UL><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys Duchier</A>, <A href="http://www.ps.uni-sb.de/~kornstae/">Leif Kornstaedt</A> and <A href="http://www.ps.uni-sb.de/~schulte/">Christian Schulte</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|