[PATCH v1 02/36] Guile extension language: doc additions

[Eli Zaretskii]

> From: ludo@gnu.org (Ludovic Courtès)
> Cc: Eli Zaretskii <eliz@gnu.org>,  "gdb-patches\@sourceware.org" <gdb-patches@sourceware.org>
> Date: Sun, 19 Jan 2014 15:47:33 +0100
> 
> >>   (@pxref{Smobs,,, guile, GNU Guile Reference Manual})
> >
> > fyi, I'm finding I need to use guile2 here instead of guile in order
> > for info to find the guile docs.
> > I presume that's ok.
> 
> Yes.  I don’t remember: are you targeting 1.8 as well?

The cross-reference should name the file that is installed by Guile
2.x; I don't remember its name, but Ludovic certainly will ;-)

My point here is that if guile2 comes from some particular GNU/Linux
distro, and the package installs the file under a different, we should
not use guile2 in the GDB manual.