2 files changed, 4 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index e986f2f..72e3693 100644
--- a/.gitignore
+++ b/.gitignore
@@ -33,7 +33,9 @@ Makefile.coq
 Makefile.coq.conf
 .coqdeps.d
 
-extraction/src/
+src/extraction/*.ml
+src/extraction/*.mli
+src/extraction/STAMP
 
 # Ocaml
 _build
diff --git a/README.md b/README.md
index 1861b29..667f3b6 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,3 @@
 # CoqUp
+
 A formally verified HLS tool in Coq.