This file is indexed.

/usr/share/mozart/doc/bugs/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>Known Bugs</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><P class="margin"><A href="../index.html">Top</A></P><H1 align="center" class="title">Known Bugs</H1><BLOCKQUOTE><P>This documents summarizes known bugs in Mozart. New bugs can be reported by sending email to <A href="mailto:bugs@mozart-oz.org">bugs@mozart-oz.org</A> or via our bug tracking system reachable under <A href="http://www.mozart-oz.org/cgi-bin/oz-bugs">http://www.mozart-oz.org/cgi-bin/oz-bugs</A>. This URL is also a good starting point to find out more about already known bugs (fixed and unfixed ones). However it is intended to be used primarily by the developpers and also documents the state of the system currently being under development, so it might list bugs that do not appear in the released system and vice versa. </P></BLOCKQUOTE><HR><UL class="toc"><LI><A href="index.html#chapter.allplatforms">1 Platform Independent Bugs</A></LI><LI><A href="index.html#chapter.platformspecific">2 Bugs Occuring Only on Particular Platforms</A></LI></UL><HR><DIV id="chapter.allplatforms"><H1><A name="chapter.allplatforms">1 Platform Independent Bugs</A></H1><P>To be done.</P></DIV><DIV id="chapter.platformspecific"><H1><A name="chapter.platformspecific">2 Bugs Occuring Only on Particular Platforms</A></H1><P>To be done.</P></DIV><HR><ADDRESS><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>