From d44d20e1a1d1dc76eb3849d70960afff1de213a9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pierre-=C3=89variste=20Dagand?=
 <pierre-evariste.dagand@lip6.fr>
Date: Sun, 14 Mar 2021 12:12:12 +0100
Subject: [PATCH] Fix import of README.md in Dockerfile

Fix #4
---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 6ab0024..77dca7c 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -37,7 +37,7 @@ COPY docker/motd.sh $HOME/.motd.sh
 RUN echo ". ~/.motd.sh" >> $HOME/.bashrc
 
 # Include documentation
-COPY Readme.md $HOME/
+COPY README.md $HOME/
 
 # Copy & compile Usuba and Tightprove+
 COPY --chown=eval:eval src $HOME/tornado