org.texi (Publishing options): Update the list of options
commitf1ff37ebbdde5001dd4c20d155bc2c06adbac753
authorBastien Guerry <bzg@altern.org>
Tue, 16 Apr 2013 16:55:10 +0000 (16 18:55 +0200)
committerBastien Guerry <bzg@altern.org>
Tue, 16 Apr 2013 16:55:10 +0000 (16 18:55 +0200)
tree07cfeb5e5b9b15ce5b69c8669184e585ca281caf
parent35b99831073e94237e0b2e82867c2073a9d39031
org.texi (Publishing options): Update the list of options

* org.texi (Publishing options): Update the list of options.
(Simple example, Complex example): Fix the examples.
doc/org.texi