org.texi: Add html related publishing options
commit64d9159ad0407bc4f9fbf698d0fe05e41c4f4585
authorNicolas Goaziou <n.goaziou@gmail.com>
Sun, 15 Dec 2013 10:38:37 +0000 (15 11:38 +0100)
committerNicolas Goaziou <n.goaziou@gmail.com>
Sun, 15 Dec 2013 10:38:37 +0000 (15 11:38 +0100)
treedf32f5bc68256c7ad21268ae502f772fb9bad6ef
parent7fe99af695e78f66a732127fa9e2d88351df0f4d
org.texi: Add html related publishing options

* doc/org.texi (HTML doctypes): Fix display.
(Publishing options): Add missing html publishing options.
doc/org.texi