1 files changed, 7 insertions, 0 deletions
diff --git a/web/demos b/web/demos
index e112e9db5..1edbff37a 100644
--- a/web/demos
+++ b/web/demos
@@ -87,3 +87,10 @@ click on the name of the output file:
 
 @   pandoc @@code.text@@ -s -o @@example18.html@@
 
+19. GNU Texinfo, converted to info, HTML, and PDF formats:
+
+@   pandoc @@README@@ -s -o @@example19.texi@@
+@   makeinfo @@example19.texi@@ -o @@example19.info@@
+@   makeinfo @@example19.texi@@ --html -o @@example19@@
+@   texi2pdf @@example19.texi@@  # produces @@example19.pdf@@
+