2013-04-29  Freddie Chopin  <freddie_chopin@op.pl>

        * libc/libc.texinfo: Fix @ references and change ifinfo to be
        ifnottexinfo.
        * libm/libm.texinfo: Ditto.