path: root/site
diff options
authorThomas Letan <>2022-08-14 11:05:45 +0200
committerThomas Letan <>2022-08-14 11:05:45 +0200
commit7d4c402dad0878d3f55d054bea1c2bf40ddb696e (patch)
tree94fd85e4270f702e1e215b8046af48445afa439e /site
parentFix two types reported by Wojciech Karpiel (diff)
Fix the layout of the project with the new generation setup
Diffstat (limited to 'site')
1 files changed, 1 insertions, 2 deletions
diff --git a/site/posts/ b/site/posts/
index 17a2ca6..f2b03b1 100644
--- a/site/posts/
+++ b/site/posts/
@@ -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"
We have three directories at the root of the project.