User manual: Mention TeX in the list of supported output formats

diff --git a/doc/introduction.texi b/doc/introduction.texi
index 45b3e0f301a03f130ea7d68de4b5159da3bb4972..4820a6ba7b081bc978033f67af720d20247d5593 100644 (file)
--- a/doc/introduction.texi
+++ b/doc/introduction.texi
@@ -26,7 +26,7 @@ The details of @pspp{}'s language are given later in this manual.
 @cindex HTML
 @cindex DocBook
 @pspp{} produces tables and charts as output, which it can produce in
-several formats; currently, ASCII, PostScript, PDF, HTML, and DocBook are
+several formats; currently, ASCII, PostScript, PDF, HTML, DocBook and @TeX{} are
 supported.
 
 The current version of @pspp{}, @value{VERSION}, is incomplete in