From dddb3f0cc502b2cd4bbc41349507da9360b46f43 Mon Sep 17 00:00:00 2001 From: "Jurgen J. Vinju" Date: Mon, 30 Oct 2023 15:20:30 +0100 Subject: [PATCH] for non-package courses the bin folder now becomes the root of the generated site --- .../java/org/rascalmpl/maven/CompileRascalDocumentation.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/org/rascalmpl/maven/CompileRascalDocumentation.java b/src/main/java/org/rascalmpl/maven/CompileRascalDocumentation.java index 7652553..f735ea3 100644 --- a/src/main/java/org/rascalmpl/maven/CompileRascalDocumentation.java +++ b/src/main/java/org/rascalmpl/maven/CompileRascalDocumentation.java @@ -124,7 +124,7 @@ private Evaluator makeEvaluator(OutputStream err, OutputStream out) throws URISy public void execute() throws MojoExecutionException { try { - ISourceLocation binLoc = URIUtil.getChildLocation(MojoUtils.location(bin), "docs"); + ISourceLocation binLoc = URIUtil.getChildLocation(MojoUtils.location(bin), isPackageCourse ? "docs" : ""); List srcLocs = MojoUtils.locations(srcs); List libLocs = MojoUtils.locations(libs); List ignoredLocs = MojoUtils.locations(ignores);