From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 25 Oct 2020 17:26:15 +0000 (+0100)
Subject: User manual: Mention TeX in the list of supported output formats
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=c12a728f7d49bbdf482b453624443e01c2d426f7

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

diff --git a/doc/introduction.texi b/doc/introduction.texi
index 45b3e0f301..4820a6ba7b 100644
--- 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