HCoop / bpt / guile.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69b6da0) | patch
doc: Rename "Texinfo" node to "Texinfo Processing".
authorLudovic Courtès <ludo@gnu.org>
Mon, 4 Mar 2013 08:04:16 +0000 (09:04 +0100)
committerLudovic Courtès <ludo@gnu.org>
Mon, 4 Mar 2013 08:04:16 +0000 (09:04 +0100)
commit29ace173b170a5d77e6becb30fb1d9f253a373d5
treeaf7e961cb4406d67c763614c466a999b632c84a6tree | snapshot (tar.gz zip)
parent69b6da07c386446d16a11cc41cb64b486199413ccommit | diff
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.
doc/ref/guile.texi diff | blob | blame | history
doc/ref/texinfo.texi diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.