1st PR on develop branch for easybuild-docs

ping
make this `**use** ``$EASYBUILD_BUILDPATH`` **instead**` to fix rendering issues