diff options
Diffstat (limited to 'MAFH2/fortuneengine/docs/epydoc/redirect.html')
-rw-r--r-- | MAFH2/fortuneengine/docs/epydoc/redirect.html | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/MAFH2/fortuneengine/docs/epydoc/redirect.html b/MAFH2/fortuneengine/docs/epydoc/redirect.html new file mode 100644 index 0000000..8e303bf --- /dev/null +++ b/MAFH2/fortuneengine/docs/epydoc/redirect.html @@ -0,0 +1,38 @@ +<html><head><title>Epydoc Redirect Page</title> +<meta http-equiv="cache-control" content="no-cache" /> +<meta http-equiv="expires" content="0" /> +<meta http-equiv="pragma" content="no-cache" /> + <script type="text/javascript" src="epydoc.js"></script> +</head> +<body> +<script type="text/javascript"> +<!-- +var pages = ["fortuneengine.DynamicDrawableObject.DynamicDrawableObject-c", "fortuneengine.DrawableFontObject.DrawableFontObject-c", "fortuneengine.GameEngineConsole.GameEngineConsole-c", "fortuneengine.GameEngineElement.GameEngineElement-c", "fortuneengine.pyconsole.pyconsole.ParseError-c", "fortuneengine.DrawableObject.DrawableObject-c", "fortuneengine.pyconsole.pyconsole.Writable-c", "fortuneengine.pyconsole.pyconsole.Console-c", "fortuneengine.GameInspect.GameInspect-c", "fortuneengine.DynamicDrawableObject-m", "fortuneengine.GameEngine.GameEngine-c", "fortuneengine.pyconsole.pyconsole-m", "fortuneengine.DrawableFontObject-m", "fortuneengine.GameEngineConsole-m", "fortuneengine.GameEngineElement-m", "fortuneengine.DrawableObject-m", "fortuneengine.GameInspect-m", "fortuneengine.Scene.Scene-c", "fortuneengine.GameEngine-m", "fortuneengine.pyconsole-m", "fortuneengine.Scene-m", "fortuneengine-m"]; +var dottedName = get_anchor(); +if (dottedName) { + var target = redirect_url(dottedName); + if (target) window.location.replace(target); +} +// --> +</script> + +<h3>Epydoc Auto-redirect page</h3> + +<p>When javascript is enabled, this page will redirect URLs of +the form <tt>redirect.html#<i>dotted.name</i></tt> to the +documentation for the object with the given fully-qualified +dotted name.</p> +<p><a id="message"> </a></p> + +<script type="text/javascript"> +<!-- +if (dottedName) { + var msg = document.getElementById("message"); + msg.innerHTML = "No documentation found for <tt>"+ + dottedName+"</tt>"; +} +// --> +</script> + +</body> +</html> |