add `course:` prefix to the index for the root of a course if (in another course) the same identifier is already indexed

usethesource / rascal-tutor

Markdown and Rascal processor that generates linked, up-to-date and checked documentation

BSD 2-Clause "Simplified" License

1 stars 1 forks source link

add `course:` prefix to the index for the root of a course if (in another course) the same identifier is already indexed #24

Closed jurgenvinju closed 1 year ago

jurgenvinju commented 1 year ago

For example on the website the index for course Rascal is merged with the course Library which contains the Rascal syntax module. To be able to link to the course ((course:Rascal)) would help a lot.