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);