This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH v1 02/36] Guile extension language: doc additions
- From: Eli Zaretskii <eliz at gnu dot org>
- To: ludo at gnu dot org (Ludovic CourtÃs)
- Cc: xdje42 at gmail dot com, gdb-patches at sourceware dot org
- Date: Sun, 19 Jan 2014 17:56:38 +0200
- Subject: Re: [PATCH v1 02/36] Guile extension language: doc additions
- Authentication-results: sourceware.org; auth=none
- References: <52b9da59 dot 64ab440a dot 0b0b dot 7e1c at mx dot google dot com> <83ha9w68av dot fsf at gnu dot org> <87sit4kb1t dot fsf at gnu dot org> <CAP9bCMRGrCpY4nYW4Egaeai+DLcYk2o3i-6NTVPKriZjFfEMTA at mail dot gmail dot com> <87lhycm3ju dot fsf at gnu dot org>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> 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.