From 6bfb636d8ebd745d1887ee305091c17251b72851 Mon Sep 17 00:00:00 2001
From: Stavros Polymenis <sp@orbitalfox.eu>
Date: Mon, 20 Nov 2017 21:05:41 +0000
Subject: [PATCH] Copy .logarion/static into export directory's static/

---
 src/logarion_cli.ml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/logarion_cli.ml b/src/logarion_cli.ml
index 0467f6f..bc18f96 100644
--- a/src/logarion_cli.ml
+++ b/src/logarion_cli.ml
@@ -25,6 +25,9 @@ let create_dir_msg ?(descr="") dir res =
   in
   res
 
+let copy ?(recursive = false) src dst =
+  Bos.OS.Cmd.run (Bos.Cmd.(v "cp" %% (on recursive @@ v "-r") % src % dst))
+
 let init force =
   let rec create_dirs = function
     | [] -> ()
@@ -127,7 +130,10 @@ let convert directory =
     close_out out
   in
   match create_dir directory |> create_dir_msg ~descr:"export" directory with
-  | Ok _ -> List.iter file_creation notes
+  | Ok _ ->
+     (match copy ~recursive:true ".logarion/static" (directory) with
+      | Ok _ -> List.iter file_creation notes
+      | Error (`Msg m) -> prerr_endline m)
   | Error _ -> ()
 
 let convert_term =