Re: missing gnu-oids.texi

[Karl Berry]

    Since commit 7c0e989 on Saturday, standards.texi now fails to build,
    because you did not add the file gnu-oids.texi to gnulib.

Sorry, I added it now.