org.texi: Add missing publishing properties
commit86283db227b0d7fc826f29ddea610f9513229f3e
authorNicolas Goaziou <mail@nicolasgoaziou.fr>
Thu, 21 Aug 2014 08:51:19 +0000 (21 10:51 +0200)
committerNicolas Goaziou <mail@nicolasgoaziou.fr>
Thu, 21 Aug 2014 08:51:19 +0000 (21 10:51 +0200)
treecfbe7e6790bd958b2407fcde65ca9dcf157c3cf7
parent24a61a29387d1a6d04f5ecad0619b54359a13fb5
org.texi: Add missing publishing properties

* doc/org.texi (Publishing options): Add missing properties.
doc/org.texi