From c4ba925f8380862f7204689e2310d30736406d58 Mon Sep 17 00:00:00 2001
From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Mon, 19 Mar 2018 11:31:29 -0700
Subject: [PATCH] devops/build.texi: Use verbatim for example script containing
 @.

---
 src/devops/build.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/devops/build.texi b/src/devops/build.texi
index a40f29971..b5beeb6c3 100644
--- 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
-- 
2.25.1