Merge branch 'main' of https://github.com/jsiek/deduce

jsiek · Jan 28, 2025 · a0ea2ed · a0ea2ed
2 parents 57170f1 + cb4243c
commit a0ea2ed
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 9 deletions.
diff --git a/doc/GettingStarted.md b/doc/GettingStarted.md
@@ -55,11 +55,13 @@ defines a variable `world`, and prints it out.
 
 To run it, type the following command, or use the run functionality
 provided by your deduce editor.
+
 ```
 python deduce.py hello.pf
 ```
 
 You should see the output
+
 ```
 hello
 hello.pf is valid

diff --git a/gh-pages/pages/getting-started.html b/gh-pages/pages/getting-started.html
@@ -113,15 +113,11 @@ <h2 id="running-deduce-programs">Running Deduce Programs</h2>
 <p>This program defines a new union type called <code class="inline">Greeting</code>,
 defines a variable <code class="inline">world</code>, and prints it out.</p>
 <p>To run it, type the following command, or use the run functionality
-provided by your deduce editor.
-!!!
-python deduce.py hello.pf
-!!!</p>
-<p>You should see the output
-!!!
-hello
-hello.pf is valid
-!!!</p>
+provided by your deduce editor.</p>
+<div class="code-wrapper non-deduce"><code>python&nbsp;deduce.py&nbsp;hello.pf</code></div>
+<p>You should see the output</p>
+<div class="code-wrapper non-deduce"><code>hello<br>
+hello.pf&nbsp;is&nbsp;valid</code></div>
 <h3 id="command-line-arguments">Command Line Arguments</h3>
 <p>The <code class="inline">deduce.py</code> script supports certain command line arguments which
 are documented below. If an argument is not preceded by one of the