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