From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Mon, 19 Mar 2018 18:31:29 +0000 (-0700)
Subject: devops/build.texi: Use verbatim for example script containing @.
X-Git-Tag: mit-scheme-pucked-x11-0.2.2~7
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=c4ba925f8380862f7204689e2310d30736406d58;p=mit-scheme.git

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

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