diff lispref/control.texi @ 7734:2d4db32cccd5

entered into RCS
author Richard M. Stallman <rms@gnu.org>
date Sat, 28 May 1994 14:52:37 +0000
parents cd57cd335fff
children a6eb5f12b0f3
line wrap: on
line diff
--- a/lispref/control.texi	Sat May 28 14:07:54 1994 +0000
+++ b/lispref/control.texi	Sat May 28 14:52:37 1994 +0000
@@ -1133,7 +1133,7 @@
 to kill a temporary buffer.  In this example, the value returned by
 @code{unwind-protect} is used.
 
-@example
+@smallexample
 (defun shell-command-string (cmd)
   "Return the output of the shell command CMD, as a string."
   (save-excursion
@@ -1142,4 +1142,4 @@
     (unwind-protect
         (buffer-string)
       (kill-buffer (current-buffer)))))
-@end example
+@end smallexample