Changes not staged for commit: (use "git add <file>..." to update what will be committed) (use "git checkout -- <file>..." to discard changes in working directory)
modified: doc/contributing.de.texi
modified: doc/contributing.fr.texi
modified: doc/guix.de.texi
modified: doc/guix.fr.texi
Why does this keep happening? If these are autogenerated, why are they
committed into git? If they aren't autogenerated, why are they changing?
