default_pre_build &&
cd "$SOURCE_DIRECTORY" &&

sed -i "s:doc/Terminal:doc/terminal:g" TerminalHelp.in doc/Makefile.{am,in}
