Merge "Remove normal docs jenkins job from Boron"