@@ -94,3 +94,11 @@ click on the name of the output file:
94@ makeinfo @@example19.texi@@ --html -o @@example19@@
94@ makeinfo @@example19.texi@@ --html -o @@example19@@
95@ texi2pdf @@example19.texi@@ # produces @@example19.pdf@@
95@ texi2pdf @@example19.texi@@ # produces @@example19.pdf@@
99+@ pandoc @@README@@ -s -w opendocument -o @@example20.xml@@
101+21. From markdown to ODT (OpenDocument Text, readable by OpenOffice):
103+@ markdown2odt @@README@@ -o @@README.odt@@