This file is indexed.

/usr/share/doc/proguard/manual/sections.html is in proguard 4.4-2.

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
<!doctype html PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=iso-8859-1">
<meta http-equiv="content-script-type" content="text/javascript">
<meta http-equiv="content-style-type" content="text/css">
<link rel="stylesheet" type="text/css" href="../style.css">
<title>Sections</title>
</head>
<body class="navigation">

<ul class="navigation">
<li><a href="../sections.html">&lt;&lt; Main menu</a></li>

<li class="title">ProGuard Manual</li>
<li><a target="main" href="introduction.html">Introduction</a></li>
<li><a target="main" href="usage.html">Usage</a></li>
<li><a target="main" href="limitations.html">Limitations</a></li>
<li><a target="main" href="examples.html">Examples</a></li>
<li><a target="main" href="troubleshooting.html">Troubleshooting</a></li>
<li><a target="main" href="refcard.html">Ref Card</a></li>
<li><a target="main" href="gui.html">GUI</a></li>
<li><a target="main" href="ant.html">Ant Task</a></li>
<li><a target="main" href="wtk.html">JME WTK</a></li>

<li class="title">ReTrace Manual</li>
<li><a target="main" href="retrace/introduction.html">Introduction</a></li>
<li><a target="main" href="retrace/usage.html">Usage</a></li>
<li><a target="main" href="retrace/examples.html">Examples</a></li>
</ul>

<p>
<center>
<small>With support of</small>
<p>

<a href="http://sourceforge.net/projects/proguard/" target="other">

<script type="text/javascript" language="JavaScript">
<!--
document.write("<img src=\"");
document.write(document.location.hostname == "proguard.sourceforge.net" ?
  "http://sourceforge.net/sflogo.php?group_id=54750&amp;type=1" :
  "../sflogo.png");
document.write("\" width=\"88\" height=\"31\" alt=\"SourceForge\">");
//-->
</script>
<noscript>
<img src="../sflogo.png" width="88" height="31" alt="SourceForge">
</noscript>

</a>

<p>
<a href="http://www.luciad.com/" target="other">
<img src="../luciadlogo.png" width="88" height="24" alt="Luciad"></a>

<p>
<a href="http://www.javadocking.com/" target="other">
<img src="../sanawarelogo.png" width="88" height="24" alt="Luciad"></a>
</center>

</body>
</html>