1#!/bin/sh 2 3cd doc/documentation 4DOC_HTML_ARCHIVE=1 make html 5make pdf 6 7echo "USE_GIT_COMMIT=${GIT_COMMIT}" > ${WORKSPACE}/trigger.property 8 9