This file is indexed.

/usr/share/devhelp/books/vala-0.20/overview.html is in vala-0.20-doc 0.20.1-2ubuntu5.

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
<?xml version="1.0"?>
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <title>Overview - Vala Reference Manual</title>
    <link rel="stylesheet" type="text/css" href="default.css"/>
  </head>
  <body>
    <div class="header">
      <a href="index.html">Vala Reference Manual</a>
    </div>
    <h2>Overview</h2>
    <p>Vala is a new programming language that aims to bring modern programming language features to GNOME developers without imposing any additional runtime requirements and without using a different ABI compared to applications and libraries written in C.</p>
    <h3>Getting started<a id="gettingstarted"> </a></h3>
    <p>The classic "Hello, world" example in Vala:</p>
    <pre>
using GLib;

public class Sample : Object {
	public Sample () {
	}

	public void run () {
		stdout.printf ("Hello, world!\n");
	}

	static int main (string[] args) {
		var sample = new Sample ();
		sample.run ();
		return 0;
	}
}</pre>
    <p>Store the code in a file whose name ends in ".vala", such as <code>hello.vala</code>, and compile it with the command:</p>
    <pre>valac -o hello hello.vala</pre>
    <p>This will produce an executable file called <code>hello</code>.</p>
  </body>
</html>