fix occurrences of scala version

Fixes issue #748.
gapt · Apr 24, 2020 · da1e43b · da1e43b
1 parent b0c62fc
commit da1e43b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/core/src/main/scala/gapt/utils/help.scala b/core/src/main/scala/gapt/utils/help.scala
@@ -9,7 +9,7 @@ import java.nio.file.{ Files, Paths }
  */
 object help {
   private val tarballPathBase = Paths.get( "apidocs" ).toAbsolutePath
-  private val devPathBase = Paths.get( "target", "scala-2.12", "unidoc" ).toAbsolutePath
+  private val devPathBase = Paths.get( "target", "scala-2.13", "unidoc" ).toAbsolutePath
 
   private val websitePath = "https://logic.at/gapt/api/"
 

diff --git a/include.sh b/include.sh
@@ -14,7 +14,7 @@ if [[ -z "$java" ]]; then
     exit 1
 fi
 
-for _jar in "$basedir/gapt-$gapt_version.jar" "$basedir/target/scala-2.12/root-assembly-$gapt_version.jar"; do
+for _jar in "$basedir/gapt-$gapt_version.jar" "$basedir/target/scala-2.13/root-assembly-$gapt_version.jar"; do
     if [[ -f "$_jar" ]]; then
         gapt_jar="$_jar"
         break