Merge pull request idris-lang#560 from edwinb/version

Version increment
mmhelloworld · Aug 16, 2020 · db9f7bb · db9f7bb
2 parents 10b8698 + dc9637a
commit db9f7bb
Show file tree

Hide file tree

Showing 7 changed files with 12,650 additions and 11,862 deletions.
diff --git a/Makefile b/Makefile
@@ -10,7 +10,7 @@ TARGET = ${TARGETDIR}/${NAME}
 
 MAJOR=0
 MINOR=2
-PATCH=0
+PATCH=1
 
 
 GIT_SHA1=

diff --git a/Release/CHECKLIST b/Release/CHECKLIST
@@ -0,0 +1,5 @@
+[ ] Change version number (MAJOR, MINOR, PATCH) in Makefile
+[ ] Change version numbers in doc listings
+[ ] Update bootstrap chez and racket
+[ ] Tag on github with version number (in the form vX.Y.Z)
+[ ] Run release script
diff --git a/bootstrap/idris2_app/idris2.rkt b/bootstrap/idris2_app/idris2.rkt
diff --git a/bootstrap/idris2_app/idris2.ss b/bootstrap/idris2_app/idris2.ss
diff --git a/docs/source/listing/idris-prompt-helloworld.txt b/docs/source/listing/idris-prompt-helloworld.txt
@@ -1,7 +1,7 @@
 $ idris hello.idr
      ____    __     _         ___
     /  _/___/ /____(_)____   |__ \
-    / // __  / ___/ / ___/   __/ /     Version 0.2.0
+    / // __  / ___/ / ___/   __/ /     Version 0.2.1
   _/ // /_/ / /  / (__  )   / __/      https://www.idris-lang.org
  /___/\__,_/_/  /_/____/   /____/      Type :? for help
 

diff --git a/docs/source/listing/idris-prompt-interp.txt b/docs/source/listing/idris-prompt-interp.txt
@@ -1,7 +1,7 @@
 $ idris2 interp.idr
      ____    __     _         ___
     /  _/___/ /____(_)____   |__ \
-    / // __  / ___/ / ___/   __/ /     Version 0.2.0
+    / // __  / ___/ / ___/   __/ /     Version 0.2.1
   _/ // /_/ / /  / (__  )   / __/      https://www.idris-lang.org
  /___/\__,_/_/  /_/____/   /____/      Type :? for help
 

diff --git a/docs/source/listing/idris-prompt-start.txt b/docs/source/listing/idris-prompt-start.txt
@@ -1,7 +1,7 @@
 $ idris2
      ____    __     _         ___
     /  _/___/ /____(_)____   |__ \
-    / // __  / ___/ / ___/   __/ /     Version 0.2.0
+    / // __  / ___/ / ___/   __/ /     Version 0.2.1
   _/ // /_/ / /  / (__  )   / __/      https://www.idris-lang.org
  /___/\__,_/_/  /_/____/   /____/      Type :? for help