Set the release version.

diff --git a/Doc/Makefile b/Doc/Makefile
index 20ffdf0a8e84c105f63b3f90eab526995f277772..5ac103191a071c9ab01c750e24149b69e762dfed 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -67,7 +67,7 @@ TOOLSDIR=     tools
 
 # This is the *documentation* release, and is used to construct the file
 # names of the downloadable tarballs.
-RELEASE=2.1.2c1
+RELEASE=2.1.2
 
 PYTHON=           python
 DVIPS=    dvips -N0 -t $(PAPER)