I applied this small fix because gnu-oids.texi appears to be included by
    standards.texi and not maintain.texi.

Oh yeah, I changed my mind midstream about where to put it.  I'll make
the same change in gnustandards.  Thanks.


Reply via email to