Merge pull request #2022 from david-christiansen/docbadge

Add ReadTheDocs badge to README
idris-lang · Mar 20, 2015 · 159a0c4 · 159a0c4
2 parents 134a227 + 1dfc53c
commit 159a0c4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,7 @@
 # Idris
 
 [![Build Status](https://travis-ci.org/idris-lang/Idris-dev.svg?branch=master)](https://travis-ci.org/idris-lang/Idris-dev)
+[![Documentation Status](https://readthedocs.org/projects/idris/badge/?version=latest)](https://readthedocs.org/projects/idris/?badge=latest)
 [![Hackage](https://budueba.com/hackage/idris)](https://hackage.haskell.org/package/idris)
 
 Idris (http://idris-lang.org/) is a general-purpose functional programming