Skip to content

for non-package courses the bin folder now becomes the root of the generated site#15

Draft
jurgenvinju wants to merge 1 commit intomainfrom no-more-docs-root