This file is indexed.

/usr/share/doc/makepp/makepp.js is in makepp 2.0.98.5-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
// toggle nav bar left or right
function lr( cur ) {
  document.cookie =
    (cur.parentNode.parentNode.className = cur.parentNode.parentNode.className ? '' : 'right') ?
      'makepp_nav=right;expires=01/01/2099 00:00:00' :
      'makepp_nav=;expires=01/01/1970 00:00:00';
}

// check if nav bar should be right (in Chrome needs --enable-file-cookies)
function r() {
  if( document.cookie.indexOf('makepp_nav=right') >= 0 ) {
    document.getElementsByTagName('ul')[0].className = 'right';
  }
}

// turn off nav bar
function nonav( cur ) {
  cur.parentNode.parentNode.className = 'none';
}

// roll in or out all parts of nav bar
function roll( cur, out ) {
  var now = out ? 'fold' : 'unfold';
  var then = out ? 'unfold' : 'fold';
  var lis = cur.parentNode.parentNode.childNodes;
  for( var i = 1; i < lis.length; i++ )
    if( lis[i].className == now )
      lis[i].className = then;
}

// roll in or out current part of nav bar
function fold( cur ) {
  cur.className = (cur.className=='fold') ? 'unfold' : 'fold';
}