Dear Maintainer,

I found a bug in the gccintro debian package, specifically the info
file it installs.
When one inspects the info directory node, with an info reader such as
info(1) (run with no arguments), one finds:

  Software development
   * gccintro: (gccintro).        Introduction to GCC by Brian J. Gough.
  * As: (as).                     The GNU assembler.

gccintro's @direntry adds an extra space to the start of the menu entry
line; this makes it invalid: info readers will display it as plain text,
and not let you open that node by clicking on it or pressing Enter.

That direntry comes from the package's 0003 debian patch (lines 53-55):
https://sources.debian.org/patches/gccintro/1.0-5/0003-Fix-upstream-build-structure-for-Debian.patch/
  +@direntry
  + * gccintro: (gccintro).     Introduction to GCC by Brian J. Gough.
  +@end direntry

I think simply removing the extra space there should resolve the issue.

o/
 emanuele6