rebuilding src/ and doc/