Comment 3 for bug 1405685

> Could you double-check this? They show up when I run `info gcc` here.

I double-checked that I have installed gcc-4.8-doc package and in

$ info g++-4.8 "Invoking GCC" "Submodel Options" "AVR Options"

I can find same paragraph without "@tie{}" tags:

     'avrxmega7'
          "XMEGA" devices with more than 128 KiB of program memory and
          more than 64 KiB of RAM.
          MCU = 'atxmega128a1', 'atxmega128a1u', 'atxmega128a4u'.

A bit strage is that infopage has singlequotes ('avrxmega7') and man-page has double-quotes ("avrxmega7").

Info-page source doesn't have any tags on my system:

$ zcat /usr/share/info/gcc-4.8.info.gz | grep avrxmega7 -A 3
     'avrxmega7'
          "XMEGA" devices with more than 128 KiB of program memory and
          more than 64 KiB of RAM.
          MCU = 'atxmega128a1', 'atxmega128a1u', 'atxmega128a4u'.
--
     'avrxmega6', 'avrxmega7', respectively. If MCU specifies a device,
     this built-in macro is set accordingly. For example, with
     '-mmcu=atmega8' the macro will be defined to '4'.

$ dpkg -S /usr/share/info/gcc-4.8.info.gz
gcc-4.8-doc: /usr/share/info/gcc-4.8.info.gz

$ apt-cache policy gcc-4.8-doc
gcc-4.8-doc:
  Installed: 4.8.2-19ubuntu1
  Candidate: 4.8.2-19ubuntu1
  Version table:
 *** 4.8.2-19ubuntu1 0
        500 http://ru.archive.ubuntu.com/ubuntu/ trusty/main amd64 Packages
        100 /var/lib/dpkg/status