diff --git a/README b/README
deleted file mode 100644
index 2f02b90a9e97a08f15029b6ec501c3733e8cfeba..0000000000000000000000000000000000000000
--- a/README
+++ /dev/null
@@ -1 +0,0 @@
-tla2bAST
\ No newline at end of file
diff --git a/README.md b/README.md
new file mode 100644
index 0000000000000000000000000000000000000000..67fb003ee7fc1d5c35ee0c1aac8534450f2e2e79
--- /dev/null
+++ b/README.md
@@ -0,0 +1,3 @@
+# tla2bAST
+
+[![Build Status](https://travis-ci.org/hhu-stups/tla2bAST.svg)](https://travis-ci.org/hhu-stups/tla2bAST)