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

[Ludovic Courtès]

Eli Zaretskii <eliz@gnu.org> skribis:

>> 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 ;-)

All versions of Guile install guile.info*, so the @pxref above should work.

Thanks,
Ludo’.