docs: add index.html placeholder for GitHub pages

This file will be eventually be served by go.starlark.net and will cause "go get" to download packages from GitHub. Change-Id: I9a5085665f94a7521b71f75c9a2d9dc247bcf691
ahrtr · Oct 22, 2018 · f8d1ad6 · f8d1ad6
1 parent 8160121
commit f8d1ad6
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -0,0 +1,9 @@
+<html>
+  <!-- This file will be served by GitHub pages. -->
+  <head>
+    <!-- This is a placeholder for the upcoming Starlark renaming. -->
+    <meta name="go-import" content="go.starlark.net git https://github.com/google/skylark"></meta>
+  </head>
+  <body>
+  </body>
+</html>