Added link to developer docs
diff --git a/devel/index.html b/devel/index.html
new file mode 100644
index 0000000..b6e541e
--- /dev/null
+++ b/devel/index.html
@@ -0,0 +1,16 @@
+<!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>