devops/build.texi: Use verbatim for example script containing @.

diff --git a/src/devops/build.texi b/src/devops/build.texi
index a40f29971a592de82b82cb7165c135e43749beb3..b5beeb6c38cdd23b62588e5744c362883ebf3b12 100644 (file)
--- a/src/devops/build.texi
+++ b/src/devops/build.texi
@@ -98,7 +98,7 @@ This procedure is for the convenience of scripts.  It dispatches off
 the first argument on Scheme's command line to execute one of the
 build procedures (e.g. @code{devops:status}).  For example:
 
-@example
+@verbatim
   #!/bin/bash
 
   exec mit-scheme-pucked --batch-mode -- "$@" <<\EOF
@@ -107,7 +107,7 @@ build procedures (e.g. @code{devops:status}).  For example:
       (load-option 'devops))
     ((access main (->environment '(devops)))))
   EOF
-@end example
+@end verbatim
 @end deffn
 
 @node Debugging Builds