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 618a27a1b8a5878dc361fa614d4e0f35fd27785d..d096a6eab4d78f8a1f4556e3425c7c593e5d4e89 100644 (file)
--- 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