Ralf Angeli writes: > Something like > > $ grep -m 1 -o '^[-0-9][-0-9]*' ChangeLog > > seems to work. But IIRC we avoid grep because it is not as commonly > available as sed. > > At the moment I think it is not necessary to change autogen.sh because > the problem will go away when the next check-in is made by a person with > a name without non-ascii characters. And we currently don't have many > contributors with non-ascii characters in their names.
Actually, I think simply adding LANG=C somewhere at the beginning of autogen.sh will do the trick. -David _______________________________________________ bug-auctex mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-auctex
