Merge branch 'dev-buildinstr'. Closes #26.

Copilot-Language · Nov 21, 2019 · 7a53f37 · 7a53f37
2 parents 90724f7 + e06479d
commit 7a53f37
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/TutorialAndDevGuide/Tutorial/introduction.tex b/TutorialAndDevGuide/Tutorial/introduction.tex
@@ -80,8 +80,8 @@ \subsection{Installation} \label{sec:install}
 the repositories as well. Typically one would only go this route to develop
 Copilot. For regular users the hackage method above is highly recommended.
 \begin{code}
-git clone https://github.com/Copilot-Language/Copilot.git
-cd Copilot
+git clone https://github.com/Copilot-Language/copilot.git
+cd copilot
 git submodule update --init --remote
 \end{code}
 Compiling can either be done in a Nix-style build, or a traditional one: