supercollider-common 1:3.8.0~repack-2 / usr / share / SuperCollider / HelpSource / Overviews / Documents.html

This file is indexed.

/usr/share/SuperCollider/HelpSource/Overviews/Documents.html is in supercollider-common 1:3.8.0~repack-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
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
<html>
<head>
    <title>Documents</title>
    <link rel='stylesheet' href='../scdoc.css' type='text/css' />
    <link rel='stylesheet' href='../custom.css' type='text/css' />
    <meta http-equiv='Content-Type' content='text/html; charset=UTF-8' />
    <script src="../docmap.js" type="text/javascript"></script>
    <script src="../scdoc.js" type="text/javascript"></script>
<noscript>
<p>The document index needs JavaScript.
</noscript>
<script type="text/javascript">
var node;
var docs;
var check_extensions;
var filter;

function did_load() {
//    restoreMenu();
    helpRoot=".."; fixTOC();
    node = document.getElementById("doclist");
    docs = [];
    for(var k in docmap) {
        if(docmap.hasOwnProperty(k))
            docs.push(docmap[k]);
    }
    docs = docs.sort(function(a,b) {
        a = a.title.toUpperCase();
        b = b.title.toUpperCase();
        if(a<b) return -1;
        else
        if(a>b) return +1;
        else
        return 0;
    });

    var onChange = function() {
        showdocs();
    };

    check_extensions = document.getElementById("check_extensions");
    check_extensions.onchange = onChange;
    filter = document.getElementById("menu_filter");
    filter.onchange = onChange;

    showdocs();
}

function showdocs() {
    while(node.hasChildNodes())
        node.removeChild(node.lastChild);

    var count = 0;
    var cap = undefined;
    var div = document.createElement("p");
    var docs2 = [];
    div.className = "jump";
    div.innerHTML = "Jump to: ";

    for(var i=0;i<docs.length;i++) {
        var v = docs[i];
        var x = v.title[0].toUpperCase();

        if(v.installed=="extension" && !check_extensions.checked)
            continue;

        if(filter.value != "all" && v.path.split("/")[0].toLowerCase() != filter.value)
            continue;

        if(/Undocumented classes/.test(v.categories))
            continue;

        if(cap != x) {
            cap = x;
            var a = document.createElement("a");
            a.setAttribute("href","#section_"+cap);
            a.innerHTML=cap;
            div.appendChild(a);
            div.appendChild(document.createTextNode(" "));
        }

        docs2.push(v);
    }
    node.appendChild(div);

    cap = undefined;
    for(var i=0;i<docs2.length;i++) {
        var v = docs2[i];
        var x = v.path.split("/");
        var c = v.title[0].toUpperCase();

        if(cap != c) {
            var y = document.createElement("h2");
            var a = document.createElement("a");
            a.className = "anchor";
            a.setAttribute("name","section_"+c);
            a.innerHTML = cap = c;
            y.appendChild(a);
            node.appendChild(y);
        }

        var div = document.createElement("div");
        div.className = "result_item";

        var n = document.createElement("a");
        var link = v.hasOwnProperty("oldhelp")?v.oldhelp:("../"+v.path+".html");
        n.setAttribute("href",link);
        n.innerHTML = v.title;
        div.appendChild(n);
        div.appendChild(document.createTextNode(" - "+v.summary+" "));

        n = document.createElement("span");
        n.className = "soft";
        var res = "["+x[0];
        if(v.installed=="extension")
            res += " +";
        else if(v.installed=="missing")
            res += " - missing!";
        n.innerHTML = res+"]";
        div.appendChild(n);
        node.appendChild(div);
        count++;
    }
    document.getElementById("total_count").innerHTML = count + " documents";
}
</script>
</head>
<ul id="menubar"></ul>

<body onload="did_load()">
<div class='contents'>
<div class='header'>
    <div id='label'>SuperCollider OVERVIEWS</div>
    <h1>Documents</h1>
    <div id='summary'>Alphabetical index of all documents</div>
</div>
<div id="search_checks">
Filter:
<select id="menu_filter">
<option SELECTED value="all">All documents</option>
<option value="classes">Classes only</option>
<option value="reference">Reference only</option>
<option value="guides">Guides only</option>
<option value="tutorials">Tutorials only</option>
<option value="overviews">Overviews only</option>
<option value="other">Other only</option>
</select>
<input type="checkbox" id="check_extensions" checked="true">Include extensions</input>
</div>
<div id="total_count"></div>
<div id='doclist'></div>
</div>
</body>
</html>

APT Browse - Built by Thomas Orozco.