From 909c7930f66bc3589a0efec93d40e4bcae9ff009 Mon Sep 17 00:00:00 2001
From: Arthur Meyre <arthur.meyre@zama.ai>
Date: Mon, 6 Dec 2021 11:51:35 +0100
Subject: [PATCH] chore: fix bad merge

refs #1080
---
 docs/dev/howto/DOCKER.md | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/docs/dev/howto/DOCKER.md b/docs/dev/howto/DOCKER.md
index 5ade12039..1c9f2f474 100644
--- a/docs/dev/howto/DOCKER.md
+++ b/docs/dev/howto/DOCKER.md
@@ -1,10 +1,3 @@
-```{warning}
-FIXME(arthur): to update if needed
-```
-```{warning}
-FIXME(arthur): to add a new .md about pypy if needed
-```
-
 # Docker
 
 ## Setting up docker and X forwarding
@@ -54,6 +47,8 @@ Once you do that you can get inside the docker environment using the following c
 
 ```shell
 make docker_build_and_start
+# or equivalently but shorter
+make docker_bas
 ```
 
 After you finish your work, you can leave the docker by using the `exit` command or by pressing `CTRL + D`.