[Tei-council] Build failed in Jenkins: TEIP5-Documentation-dev #3