Update version number for patch release candidate.

diff --git a/Doc/Makefile b/Doc/Makefile
index c52c74d38cea4f5dd531af83c88118530c4e5411..667401dd8b993684ff8d2161430ca69ddcd36a35 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -64,7 +64,7 @@ TOOLSDIR=     tools
 
 # This is the *documentation* release, and is used to construct the file
 # names of the downloadable tarballs.
-RELEASE=2.0
+RELEASE=2.0.1c1
 
 
 # These must be declared phony since there