From 17bc505382b94efe18a9c00ff18b8ad9993156e4 Mon Sep 17 00:00:00 2001
From: "John J. Camilleri" <john@digitalgrammars.com>
Date: Mon, 5 Nov 2018 19:29:35 +0100
Subject: [PATCH] Make.bat: fix copy command, create dest folders if not
 present

---
 Make.bat | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/Make.bat b/Make.bat
index 921934ee..904a976a 100644
--- a/Make.bat
+++ b/Make.bat
@@ -92,6 +92,14 @@ for %%m in (%modules%) do (
   %gfc% --no-pmcfg --gfo-dir=%dist%\alltenses %%m
 )
 
+REM Make destination directories if not present
+if not exist %dest% mkdir %dest%
+if not exist %dest%\prelude mkdir %dest%\prelude
+if not exist %dest%\present mkdir %dest%\present
+if not exist %dest%\alltenses mkdir %dest%\alltenses
+
 REM Copy
 echo Copying to %dest%
-copy %dist% %dest%
+copy %dist%\prelude\*.gfo %dest%\prelude\
+copy %dist%\present\*.gfo %dest%\present\
+copy %dist%\alltenses\*.gfo %dest%\alltenses\