Bug#857384: gnat-6: broken symlinks: /usr/share/man/man1/{, x86_64-linux-gnu-}gnatgcc.1.gz -> x86_64-linux-gnu-gcc-6.1.gz

[Andreas Beckmann <anbe@debian.org>]

Followup-For: Bug #857384

Hi,

there is a similar problem in the -cross packages:

0m28.6s ERROR: FAIL: Broken symlinks:
  /usr/share/man/man1/alpha-linux-gnu-gnatgcc.1.gz -> alpha-linux-gnu-gcc-6.1.gz

as well as in gnat-5:

0m52.1s ERROR: FAIL: Broken symlinks:
  /usr/share/man/man1/gnatgcc.1.gz -> gcc-5.1.gz


Andreas