diff options
-rw-r--r-- | site/posts/CoqffiEcho.org | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/site/posts/CoqffiEcho.org b/site/posts/CoqffiEcho.org index 17a2ca6..f2b03b1 100644 --- a/site/posts/CoqffiEcho.org +++ b/site/posts/CoqffiEcho.org @@ -35,8 +35,7 @@ at implementing a program, we draw our inspiration from the idiomatic way of organizing a OCaml project. #+BEGIN_SRC sh :results output :exports results -cd ${ROOT}/lp/coqffi-tutorial/ -tree --noreport -I "_build" +cd ${ROOT}/lp/coqffi-tutorial/ ; tree --noreport -I "_build" #+END_SRC We have three directories at the root of the project. |