default_pre_build          &&
cd $SOURCE_DIRECTORY 	   &&
if [[ "$GIT_DOC" == "manpages" || "$GIT_DOC" == "both" ]]; then
  unpack_file 3
fi  &&
if [[ "$GIT_DOC" == "htmldocs" || "$GIT_DOC" == "both" ]]; then
  unpack_file 5
fi
