From 2e74acbcf4f399988c5416f4f56f8a073982dfd0 Mon Sep 17 00:00:00 2001
From: Felipe Lisboa <lisboafelipe5@gmail.com>
Date: Fri, 2 Sep 2022 12:22:04 +0200
Subject: [PATCH] Changed README

---
 framework/DDR3/README.md | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

diff --git a/framework/DDR3/README.md b/framework/DDR3/README.md
index 26d7e55..c1fb88f 100644
--- a/framework/DDR3/README.md
+++ b/framework/DDR3/README.md
@@ -1,11 +1 @@
-To generate a new makefile, use
-
-```
-coq_makefile -f _CoqProject -o makefile
-```
-
-If you already have a makefile, running 
-```
-make clean
-```
-will generate a new makefile from your _CoqProject file
+To generate a new makefile, run `coq_makefile -f _CoqProject -o makefile`
-- 
GitLab