diff options
| author | Thomas Letan <lthms@soap.coffee> | 2022-08-14 11:05:45 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2022-08-14 11:05:45 +0200 |
| commit | 7d4c402dad0878d3f55d054bea1c2bf40ddb696e (patch) | |
| tree | 94fd85e4270f702e1e215b8046af48445afa439e | |
| parent | Fix two types reported by Wojciech Karpiel (diff) | |
Fix the layout of the project with the new generation setup
| -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. |