Update debian doc