This file is indexed.

/usr/share/doc/maria-doc/html/maria.html is in maria-doc 1.3.5-4.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html401/loose.dtd">
<html>
<!-- Created on May 14, 2011 by texi2html 1.82
texi2html was written by: 
            Lionel Cons <Lionel.Cons@cern.ch> (original author)
            Karl Berry  <karl@freefriends.org>
            Olaf Bachmann <obachman@mathematik.uni-kl.de>
            and many others.
Maintained by: Many creative people.
Send bugs and suggestions to <texi2html-bug@nongnu.org>
-->
<head>
<title>Maria: Top</title>

<meta name="description" content="Maria: Top">
<meta name="keywords" content="Maria: Top">
<meta name="resource-type" content="document">
<meta name="distribution" content="global">
<meta name="Generator" content="texi2html 1.82">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style type="text/css">
<!--
a.summary-letter {text-decoration: none}
blockquote.smallquotation {font-size: smaller}
pre.display {font-family: serif}
pre.format {font-family: serif}
pre.menu-comment {font-family: serif}
pre.menu-preformatted {font-family: serif}
pre.smalldisplay {font-family: serif; font-size: smaller}
pre.smallexample {font-size: smaller}
pre.smallformat {font-family: serif; font-size: smaller}
pre.smalllisp {font-size: smaller}
span.roman {font-family:serif; font-weight:normal;}
span.sansserif {font-family:sans-serif; font-weight:normal;}
ul.toc {list-style: none}
-->
</style>


</head>

<body lang="en" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">

<a name="Top"></a>
<table cellpadding="1" cellspacing="1" border="0">
<tr><td valign="middle" align="left">[<a href="#Top" title="Cover (top) of document">Top</a>]</td>
<td valign="middle" align="left">[<a href="maria_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
<td valign="middle" align="left">[<a href="maria_10.html#Index" title="Index">Index</a>]</td>
<td valign="middle" align="left">[<a href="maria_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
</tr></table>
<h1 class="settitle">Maria</h1>


<table class="menu" border="0" cellspacing="0">
<tr><td align="left" valign="top"><a href="maria_1.html#Introduction">Introduction</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top">
</td></tr>
<tr><td align="left" valign="top"><a href="maria_2.html#Modeling">1. The Net Description Language</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top">            The net description language of Maria
</td></tr>
<tr><td align="left" valign="top"><a href="maria_3.html#Analysis">2. Reachability Analysis with Maria</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top">            Performing reachability analysis with Maria
</td></tr>
<tr><td align="left" valign="top"><a href="maria_4.html#Algorithms">3. Algorithms used in Maria</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top"></td></tr>
<tr><td align="left" valign="top"><a href="maria_5.html#Grammar">A. The Grammar</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top">             Grammar of the Maria languages
</td></tr>
<tr><td align="left" valign="top"><a href="maria_6.html#Graph-Files">B. The Graph Files</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top">         Format of the reachability graph files
</td></tr>
<tr><td align="left" valign="top"><a href="maria_7.html#Compiling">C. Compiling Maria</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top"></td></tr>
<tr><td align="left" valign="top"><a href="maria_7.html#Bugs">C.5 Reporting Bugs</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top"></td></tr>
<tr><td align="left" valign="top"><a href="maria_8.html#Examples">D. Examples</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top">            Sample Petri Nets for Maria
</td></tr>
<tr><td align="left" valign="top"><a href="maria_9.html#Copying">GNU GENERAL PUBLIC LICENSE</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top">             The GNU General Public License says
                          how you can copy and share Maria
</td></tr>
<tr><td align="left" valign="top"><a href="maria_10.html#Index">Index</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top">               Cross-references to the text.
</td></tr>
</table>

<hr size="1">
<table cellpadding="1" cellspacing="1" border="0">
<tr><td valign="middle" align="left">[<a href="#Top" title="Cover (top) of document">Top</a>]</td>
<td valign="middle" align="left">[<a href="maria_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
<td valign="middle" align="left">[<a href="maria_10.html#Index" title="Index">Index</a>]</td>
<td valign="middle" align="left">[<a href="maria_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
</tr></table>
<p>
 <font size="-1">
  This document was generated by <em>root</em> on <em>May 14, 2011</em> using <a href="http://www.nongnu.org/texi2html/"><em>texi2html 1.82</em></a>.
 </font>
 <br>

</p>
</body>
</html>