equal
deleted
inserted
replaced
|
1 <html><head><title>Epydoc Redirect Page</title> |
|
2 <meta http-equiv="cache-control" content="no-cache" /> |
|
3 <meta http-equiv="expires" content="0" /> |
|
4 <meta http-equiv="pragma" content="no-cache" /> |
|
5 <script type="text/javascript" src="epydoc.js"></script> |
|
6 </head> |
|
7 <body> |
|
8 <script type="text/javascript"> |
|
9 <!-- |
|
10 var pages = ["graph.accessibility-m", "graph.generators-m", "graph.hypergraph-c", "graph.readwrite-m", "graph.searching-m", "graph.traversal-m", "graph.sorting-m", "graph.digraph-c", "graph.minmax-m", "graph.graph-c", "graph-m"]; |
|
11 var dottedName = get_anchor(); |
|
12 if (dottedName) { |
|
13 var target = redirect_url(dottedName); |
|
14 if (target) window.location.replace(target); |
|
15 } |
|
16 // --> |
|
17 </script> |
|
18 |
|
19 <h3>Epydoc Auto-redirect page</h3> |
|
20 |
|
21 <p>When javascript is enabled, this page will redirect URLs of |
|
22 the form <tt>redirect.html#<i>dotted.name</i></tt> to the |
|
23 documentation for the object with the given fully-qualified |
|
24 dotted name.</p> |
|
25 <p><a id="message"> </a></p> |
|
26 |
|
27 <script type="text/javascript"> |
|
28 <!-- |
|
29 if (dottedName) { |
|
30 var msg = document.getElementById("message"); |
|
31 msg.innerHTML = "No documentation found for <tt>"+ |
|
32 dottedName+"</tt>"; |
|
33 } |
|
34 // --> |
|
35 </script> |
|
36 |
|
37 </body> |
|
38 </html> |