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 | aa5c46bf7e24eb790f05cd1336130a459a324efa (patch) | |
| tree | 5e0b2aa42222f44e6782a5409785fa058fa4b06e /doc/img/repls.png | |
| parent | e46d9672bab36214f2695c8562a47645da7da309 (diff) | |
| download | geiser-aa5c46bf7e24eb790f05cd1336130a459a324efa.tar.gz geiser-aa5c46bf7e24eb790f05cd1336130a459a324efa.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/img/repls.png')
0 files changed, 0 insertions, 0 deletions