Fix site release script (hopefully) (#164)

disneystreaming · Dec 20, 2020 · d146d21 · d146d21
1 parent ae5ca75
commit d146d21
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/scripts/releaseSite.sc b/scripts/releaseSite.sc
@@ -12,7 +12,7 @@ def main(): Unit = {
 
   if(sys.env.get("GITHUB_DEPLOY_KEY").nonEmpty) doInstallSSH()
 
-  if (!os.exists(os.pwd / "modules" / "docs" / "target" / "mdoc"))
+  if (!os.exists(os.pwd / "modules" / "docs" / "target" / "jvm-2.13" / "mdoc"))
     sys.error("Have you run mdoc ?")
 
   val website = os.pwd / "website"
@@ -156,14 +156,10 @@ val installSSHScript: String =
          |fi
       """.stripMargin
 
-@main
 def doInstallSSH() =  {
   val tmp = os.temp(contents = installSSHScript,
                     prefix = "docusaurus",
                     suffix = "install_ssh.sh",
                     perms = Set(OWNER_EXECUTE).asJava)
   os.proc(tmp).call(cwd = os.pwd)
 }
-
-
-