default_pre_build &&
cd $SOURCE_DIRECTORY &&
patch -p1 < $SPELL_DIRECTORY/0001-do-not-build-gr-trellis-documentation.patch