| <!DOCTYPE HTML> | |
| <html lang="en-US"> | |
| <head> | |
| <meta charset="UTF-8"> | |
| <meta http-equiv="refresh" content="1;url=http://example.com"> | |
| <script type="text/javascript"> | |
| window.location.href = "http://www.cs.jhu.edu/~post/joshua-docs/" | |
| </script> | |
| <title>Page Redirection</title> | |
| </head> | |
| <body> | |
| If you are not redirected automatically, follow | |
| <a href="http://www.cs.jhu.edu/~post/joshua-docs/">this link</a> | |
| to see the developer documentation. | |
| </body> | |
| </html> |