Re: I can't commit a simple change

[Paul Eggert]

Richard Stallman wrote:
>     Nothing has changed wrt. the info files.  It's just that the directory
>     is no longer kept in the repository.
> 
> That seems like a mistake.  It makes building slower.

It makes other things faster, notably the human process
of reviewing patches to the repository.

It might be helpful to have two repositories: the first
would omit autogenerated files, and the second would contain
all files that can be generated automatically and portably.
Human reviewers could look only at the former, and people
who want to build quickly from the repository could use
the latter.