Jenkins DSL for Github PR build: Try to create the one file which is read from src/documentation during target 'jenkins'