This file is indexed.

/usr/share/doc/simgrid/html/navtreedata.js is in simgrid-doc 3.11.1-10ubuntu1.

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
var NAVTREE =
[
  [ "SimGrid", "index.html", [
    [ "SimGrid Documentation", "index.html", "index" ],
    [ "Data Structures", "annotated.html", "annotated" ],
    [ "Class Hierarchy", "hierarchy.html", "hierarchy" ],
    [ "Data Fields", "functions.html", [
      [ "All", "functions.html", "functions_dup" ],
      [ "Functions", "functions_func.html", null ],
      [ "Variables", "functions_vars.html", null ]
    ] ],
    [ "File List", "files.html", "files" ],
    [ "APIs Reference", "modules.html", "modules" ]
  ] ]
];

var NAVTREEINDEX =
[
"FAQ.html",
"classWorkstation.html#ab8506957310421973a40eb7ee50e3aff",
"group__SURF__c__bindings.html#gac68b91b4be7fc84f072b18f8d9fed3e1",
"group__XBT__dict__basic.html#gac0cf96e5e13da996aac831d8d10f0985",
"group__XBT__queue.html",
"group__msg__simulation.html",
"options.html#options_perf_guard_size"
];

var SYNCONMSG = 'click to disable panel synchronisation';
var SYNCOFFMSG = 'click to enable panel synchronisation';