From 7d4c402dad0878d3f55d054bea1c2bf40ddb696e Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Sun, 14 Aug 2022 11:05:45 +0200 Subject: Fix the layout of the project with the new generation setup --- site/posts/CoqffiEcho.org | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'site') 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. -- cgit v1.2.3