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?
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?
Seems something is going wrong getting the proper path abstraction in the new build process for the docs
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.