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 | b81b23ca475bd4945bfa4096418da7a13fc814bc (patch) | |
tree | 4d0e0af9f7fcaf55f2d1ec73720c7d9a53f24dda /src/geiser | |
parent | 1421a7172cd41e3660a5f2eab23b32bb652ebaf9 (diff) | |
download | geiser-guile-b81b23ca475bd4945bfa4096418da7a13fc814bc.tar.gz geiser-guile-b81b23ca475bd4945bfa4096418da7a13fc814bc.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 'src/geiser')
0 files changed, 0 insertions, 0 deletions