diff options
author | Ludovic Courtès <ludo@gnu.org> | 2013-03-04 09:04:16 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2013-03-04 09:04:16 +0100 |
commit | 29ace173b170a5d77e6becb30fb1d9f253a373d5 (patch) | |
tree | af7e961cb4406d67c763614c466a999b632c84a6 /libguile/debug.c | |
parent | 69b6da07c386446d16a11cc41cb64b486199413c (diff) | |
download | guile-29ace173b170a5d77e6becb30fb1d9f253a373d5.tar.gz |
doc: Rename "Texinfo" node to "Texinfo Processing".
* doc/ref/texinfo.texi (Texinfo): Rename to...
(Texinfo Processing): ... this.
* doc/ref/guile.texi (Guile Modules): Update menu.
Diffstat (limited to 'libguile/debug.c')
0 files changed, 0 insertions, 0 deletions