Section names are leaking something

bug
resolved

#1

Sorry about the terrible description. This is what I see:

I suspect those user_profile(src/swipl-devel/...) bits are not meant to be there?


#2

Seems something is going wrong getting the proper path abstraction in the new build process for the docs :frowning:


#3

I’ve pushed a fix for this. As it appears to affect only a few pages the website will be updated with the next release.