From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 21 Dec 2020 00:22:57 +0000 (-0800)
Subject: doc: Fix formatting of output in formats that use text output.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=556481e5944e4c9a9f9a0ef74ceddb005a199eea;p=pspp

doc: Fix formatting of output in formats that use text output.

This fixes a mistake introduced in commit 1d447973271c ("doc: Add .png
output to the Info manual.").
---

diff --git a/doc/pspp.texi b/doc/pspp.texi
index 618a27a1b8..d096a6eab4 100644
--- a/doc/pspp.texi
+++ b/doc/pspp.texi
@@ -76,7 +76,9 @@ graphic user interface
 @ifnotinfo
 @ifnotplaintext
 @ifnothtml
+@smallexample
 @include pspp-figures/\FILE\.texi
+@end smallexample
 @end ifnothtml
 @end ifnotplaintext
 @end ifnotinfo