about summary refs log tree commit diff stats
path: root/html/examples/ex6.subx.html
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2019-08-25 15:53:24 -0700
committerKartik Agaram <vc@akkartik.com>2019-08-25 15:54:16 -0700
commit6033844884f18c9a6e6e186c79c36fd1dd2c9bb0 (patch)
treec4f58b9f94fe36463a1cc9a8a0a07507dcbd405f /html/examples/ex6.subx.html
parent9ac3fde9ab9651ecf5eb0ae0af6691e65ab3b122 (diff)
downloadmu-6033844884f18c9a6e6e186c79c36fd1dd2c9bb0.tar.gz
5582
Diffstat (limited to 'html/examples/ex6.subx.html')
-rw-r--r--html/examples/ex6.subx.html6
1 files changed, 3 insertions, 3 deletions
diff --git a/html/examples/ex6.subx.html b/html/examples/ex6.subx.html
index faedfdfd..140d68c3 100644
--- a/html/examples/ex6.subx.html
+++ b/html/examples/ex6.subx.html
@@ -15,11 +15,11 @@ body { font-size:12pt; font-family: monospace; color: #000000; background-color:
 a { color:inherit; }
 * { font-size:12pt; font-size: 1em; }
 .subxComment { color: #005faf; }
-.subxS1Comment { color: #0000af; }
+.subxS2Comment { color: #8a8a8a; }
 .LineNr { }
+.subxS1Comment { color: #0000af; }
 .SpecialChar { color: #d70000; }
 .Normal { color: #000000; background-color: #c6c6c6; padding-bottom: 1px; }
-.subxS2Comment { color: #8a8a8a; }
 -->
 </style>
 
@@ -57,7 +57,7 @@ if ('onhashchange' in window) {
 <pre id='vimCodeElement'>
 <span id="L1" class="LineNr"> 1 </span><span class="subxComment"># Print out a (global variable) string to stdout.</span>
 <span id="L2" class="LineNr"> 2 </span><span class="subxComment">#</span>
-<span id="L3" class="LineNr"> 3 </span><span class="subxComment"># To run (from the subx directory):</span>
+<span id="L3" class="LineNr"> 3 </span><span class="subxComment"># To run:</span>
 <span id="L4" class="LineNr"> 4 </span><span class="subxComment">#   $ ./subx translate examples/ex6.subx -o examples/ex6</span>
 <span id="L5" class="LineNr"> 5 </span><span class="subxComment">#   $ ./subx run examples/ex6</span>
 <span id="L6" class="LineNr"> 6 </span><span class="subxComment">#   Hello, world!</span>