From 42a951b1ae566e55d09c70789b72cd7bafc57ac9 Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Wed, 30 Sep 2026 11:28:09 +0200
Subject: [PATCH] if it is not a package the tutor should not use
 getRascalVersion because it does not work from the target folder. Instead it
 uses the explicit version parameter from the pom

---
 src/org/rascalmpl/tutor/lang/rascal/tutor/Compiler.rsc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/org/rascalmpl/tutor/lang/rascal/tutor/Compiler.rsc b/src/org/rascalmpl/tutor/lang/rascal/tutor/Compiler.rsc
index 4f6cb977288..0dcd5fc81ad 100644
--- a/src/org/rascalmpl/tutor/lang/rascal/tutor/Compiler.rsc
+++ b/src/org/rascalmpl/tutor/lang/rascal/tutor/Compiler.rsc
@@ -881,7 +881,7 @@ list[Output] compileMarkdown([a:/^\-\-\-\s*$/, *str header, b:/^\-\-\-\s*$/, *st
       *[out(l) | l <- header],
       *[out("sidebar_position: <sidebar_position>") | sidebar_position != -1],
       out("---"),
-      out("\<div class=\"theme-doc-version-badge badge badge--secondary\"\>rascal-<getRascalVersion()>\</div\><if (pcfg.isPackageCourse) {> \<div class=\"theme-doc-version-badge badge badge--secondary\"\><pcfg.packageName>-<pcfg.packageVersion>\</div\><}>"),
+      out("\<div class=\"theme-doc-version-badge badge badge--secondary\"\>rascal-<if (pcfg.isPackageCourse) {><getRascalVersion()><} else {><pcfg.packageVersion><}>\</div\><if (pcfg.isPackageCourse) {> \<div class=\"theme-doc-version-badge badge badge--secondary\"\><pcfg.packageName>-<pcfg.packageVersion>\</div\><}>"),
       out(""),
       *compileMarkdown(rest, line + 2 + size(header), offset + size(a) + size(b) + length(header), pcfg, exec, ind, dtls, sidebar_position=sidebar_position)
     ];