From 6c2efcb2331b82bfc231feb214f0ffbfe8b80b86 Mon Sep 17 00:00:00 2001
From: Salvatore Filippone <salvatore.filippone@cranfield.ac.uk>
Date: Thu, 26 Dec 2019 16:59:37 +0000
Subject: [PATCH] Fix Makefile for change of name to README.md

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 1afbda13..24e08cc2 100644
--- a/Makefile
+++ b/Makefile
@@ -28,7 +28,7 @@ install: all
 	mkdir -p  $(INSTALL_DOCSDIR) && \
 	   /bin/cp -fr docs/*pdf docs/html $(INSTALL_DOCSDIR)
 	mkdir -p  $(INSTALL_DOCSDIR) && \
-	   $(INSTALL_DATA) README LICENSE $(INSTALL_DOCSDIR)
+	   $(INSTALL_DATA) README.md LICENSE $(INSTALL_DOCSDIR)
 	mkdir -p  $(INSTALL_SAMPLESDIR) && \
 		 mkdir -p  $(INSTALL_SAMPLESDIR)/simple &&\
 	 	 mkdir -p  $(INSTALL_SAMPLESDIR)/advanced && \