[PATCH] Remove the documentation from git