org.texi: Improve a section name
commit9cb6eb2731baf6163253ed09014010997adf2804
authorNicolas Goaziou <mail@nicolasgoaziou.fr>
Sat, 23 Jul 2016 12:23:56 +0000 (23 14:23 +0200)
committerNicolas Goaziou <mail@nicolasgoaziou.fr>
Sat, 23 Jul 2016 12:23:56 +0000 (23 14:23 +0200)
tree800e51dfb6cfb2c3d198ef13afd3ea7352880f24
parentbf54ff58302268b4beea71be8e62047bd49f598d
org.texi: Improve a section name

* doc/org.texi (Top):
(Texinfo export): Update menus.
(A Texinfo example): Rename to something more specific.
doc/org.texi