This file is indexed.

/usr/share/gtk-doc/html/cinnamon-js/cinnamon-js.devhelp2 is in cinnamon-doc 3.6.7-8ubuntu1.

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
<?xml version="1.0" encoding="utf-8" standalone="no"?>
<book xmlns="http://www.devhelp.net/book" title="cinnamon Reference Manual" link="index.html" author="" name="cinnamon-js" version="2" language="c" online="http://[SERVER]/cinnamon/index.html">
  <chapters>
    <sub name="[Insert title here]" link="ch01.html"/>
    <sub name="Object Hierarchy" link="object-tree.html"/>
    <sub name="API Index" link="api-index-full.html"/>
    <sub name="Index of deprecated API" link="deprecated-api-index.html"/>
  </chapters>
  <functions/>
</book>