Move website from gh-pages branch of Graal GitHub repo to a separate …

…repository.

Adapt javadoc publisher

ci_includes/publish-javadoc.hocon

@@ -22,19 +22,21 @@ builds += [
         ["cd", "src/org.graalvm.graphio/"],
         ["zip", "-r", "../../graphio-javadoc.zip", "javadoc"],
         [cd, "../../.."],
-        ["git", "fetch", "origin", "gh-pages"],
-        ["git", "checkout", "-f", "FETCH_HEAD", "-B", "gh-pages"],
+        [set-export, GRAAL_REPO, [pwd]],
+        [cd, ".."]
+        ["git", "clone", "https://github.com/graalvm/graalvm-website.git"],
+        [cd, "graalvm-website"]
         ["rm", "-rf", "sdk/javadoc", "truffle/javadoc", "tools/javadoc", "graphio/javadoc"],
         ["git", "status" ],
-        ["unzip", "-o", "-d", "sdk", "sdk/javadoc.zip"],
-        ["unzip", "-o", "-d", "truffle", "truffle/javadoc.zip"],
-        ["unzip", "-o", "-d", "tools", "tools/javadoc.zip"],
-        ["unzip", "-o", "-d", "graphio", "compiler/graphio-javadoc.zip"],
+        ["unzip", "-o", "-d", "sdk", "$GRAAL_REPO/sdk/javadoc.zip"],
+        ["unzip", "-o", "-d", "truffle", "$GRAAL_REPO/truffle/javadoc.zip"],
+        ["unzip", "-o", "-d", "tools", "$GRAAL_REPO/tools/javadoc.zip"],
+        ["unzip", "-o", "-d", "graphio", "$GRAAL_REPO/compiler/graphio-javadoc.zip"],
         ["git", "add", "sdk/javadoc", "truffle/javadoc", "tools/javadoc", "graphio/javadoc"],
         ["git", "config", "user.name", "Javadoc Publisher"],
         ["git", "config", "user.email", "[email protected]"],
         ["git", "diff", "--staged", "--quiet", "||", "git", "commit", "-m", [ "echo", "Javadoc as of", [ "date", "+%Y/%m/%d" ] ] ],
-        ["git", "push", "origin", "gh-pages"],
+        ["git", "push", "origin", "HEAD"],
     ],
     targets : [post-merge],
     name: "graal-publish-javadoc"