README: Add $ to commands

pmer · May 25, 2017 · 55de47e · 55de47e
1 parent 5b2493a
commit 55de47e
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/README.md b/README.md
@@ -5,10 5,10 @@ binaries for tlc, pcal, and sany.
 
 ## Installation
 
-```sh
-git clone https://github.com/pmer/tla-bin.git
-./download_or_update_tla.sh
-sudo ./install.sh
 ```
 $ git clone https://github.com/pmer/tla-bin.git
 $ ./download_or_update_tla.sh
 $ sudo ./install.sh
 ```
 
 ## Usage
@@ -20,8 20,8 @@ the process of running.
 
 `tlc` is the TLA model checker.
 
-```sh
-pcal Euclid.tla
-sany Euclid.tla
-tlc Euclid.tla
 ```
 $ pcal Euclid.tla
 $ sany Euclid.tla
 $ tlc Euclid.tla
 ```