org.texi: Small fixes to HTML documentation
commit718e7e8b80c47205c36559dcce482f63e302fdf0
authorNicolas Goaziou <n.goaziou@gmail.com>
Wed, 17 Apr 2013 19:33:34 +0000 (17 21:33 +0200)
committerNicolas Goaziou <n.goaziou@gmail.com>
Wed, 17 Apr 2013 20:12:50 +0000 (17 22:12 +0200)
tree2b461d8e1a794b5bd4fd40e2fc19cf52260ca823
parentf6bf19f898b1e89728db4e3be2b3c176a4067e53
org.texi: Small fixes to HTML documentation

* doc/org.texi (Math formatting in HTML export): Fix OPTIONS item's name.
(Text areas in HTML export): Update text areas.
(HTML Export commands): Update export commands.
doc/org.texi