diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-06-09 14:24:22 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-06-09 14:24:22 +0200 |
| commit | d50d191e6e9fdb3d4f4521ea85edd426124f9797 (patch) | |
| tree | da786d0e40a6f75c5653c86fd74b9ee586245393 /doc/repl.texi | |
| parent | 30231d54fb2801f4c10a952ab5e257cdd5205491 (diff) | |
| download | geiser-guile-d50d191e6e9fdb3d4f4521ea85edd426124f9797.tar.gz geiser-guile-d50d191e6e9fdb3d4f4521ea85edd426124f9797.tar.bz2 | |
Support for user-defined Guile info nodes
In my debian machine, the info nodes for guile live in the "guile-2.0"
node, rather than plain "guile". A new customizable variable,
geiser-guile-manual-lookup-nodes, lets now specify additional names,
and we only add indexes to the info-lookup mode definition when the
node actually exists.
Diffstat (limited to 'doc/repl.texi')
0 files changed, 0 insertions, 0 deletions