This file is indexed.

/usr/share/mozart/doc/panel/toc.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>Table of Contents</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="index.html">- Up -</A></TD><TD><A href="node1.html#chapter.usage">Next &gt;&gt;</A></TD></TR></TABLE><H1><A name="label1">Table of Contents</A></H1><HR><UL class="toc"><LI><A href="toc.html#label1">Table of Contents</A></LI><LI><A href="node1.html#chapter.usage">1 Usage</A><UL class="toc"><LI><A href="node2.html#chapter.usage.threads">1.1 Information on Threads</A></LI><LI><A href="node3.html#chapter.usage.memory">1.2 Information on Memory</A></LI><LI><A href="node4.html#chapter.usage.problem">1.3 Information on Problem Solving</A></LI><LI><A href="node5.html#chapter.usage.opi">1.4 Information on Programming Interface</A></LI></UL></LI><LI><A href="node6.html#chapter.menu">2 The Menu Bar</A><UL class="toc"><LI><A href="node6.html#chapter.menu.panel">2.1 The <CODE>Panel</CODE> Menu</A></LI><LI><A href="node6.html#chapter.menu.options">2.2 The <CODE>Options</CODE> Menu</A></LI></UL></LI><LI><A href="node7.html#chapter.object">3 The <CODE>Panel</CODE> Object</A><UL class="toc"><LI><A href="node7.html#label8">3.1 Invoking</A></LI><LI><A href="node7.html#label11">3.2 Options</A></LI></UL></LI><LI><A href="idx.html#label18">Index</A></LI></UL><HR><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="index.html">- Up -</A></TD><TD><A href="node1.html#chapter.usage">Next &gt;&gt;</A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~schulte/">Christian&nbsp;Schulte</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>