diff --git a/docs/index.html b/docs/index.html index 8d4ead5f9..80516bf24 100644 --- a/docs/index.html +++ b/docs/index.html @@ -53,6 +53,8 @@ div.tip {margin-left : 5%;margin-right : 5%;padding-left: 2%; padding-right: 2%;
Binary and source distributions are from http://www.puppycrawl.com/checkstyle.
+Source code is stored under CVS at SourceForge. The project page is http://sourceforge.net/projects/checkstyle.
+