(builder) using prebuilt docs in curl-based installation skips doc gen

Src-commit: c977c1e318c3925ac65e400b54691bf281ce979a
ciao-lang · Mar 7, 2022 · f6d7b15 · f6d7b15
1 parent 978782f
commit f6d7b15
Showing 1 changed file with 4 additions and 6 deletions.
diff --git a/ciao-boot.sh b/ciao-boot.sh
@@ -48,17 +48,15 @@ release_query_info() {
     if [ "$v__devenv" = "yes" ]; then
         a__prebuilt_bin=no # TODO: no prebuilt bin for devenv yet
         case "$tag" in
-            master) a__prebuilt_docs=no ;;
-            *) a__prebuilt_docs=yes ;;
+            master) a__prebuilt_docs=no; a__with_docs=yes ;;
+            *) a__prebuilt_docs=yes; a__with_docs=no ;;
         esac
-        a__with_docs=yes
     else
         case "$os$arch" in
             DARWINaarch64) a__prebuilt_bin=no ;; # TODO: not yet
-            *) a__prebuilt_bin=yes
+            *) a__prebuilt_bin=yes ;;
         esac
-        a__prebuilt_docs=no
-        a__with_docs=no
+        a__prebuilt_docs=no; a__with_docs=no
     fi
 }