1st PR on develop branch for easybuild-docs

as title says...