default_pre_build      &&
cd  $SOURCE_DIRECTORY  &&
patch  -p1  <  $SCRIPT_DIRECTORY/linuxdoc-tools.patch