diff --git a/docs/bugs.html b/docs/bugs.html
index 85568f33d..9c9ab517d 100644
--- a/docs/bugs.html
+++ b/docs/bugs.html
@@ -310,9 +310,9 @@
             <font face="verdana" size="-1">
             diff -u Javac.java.orig Javac.java &gt; javac.diffs<br /><br />
             </font>
-            or, if you have source from CVS:<br /><br />
+            or, if you have source from SVN:<br /><br />
             <font face="verdana" size="-1">
-            cvs diff -u Javac.java &gt; javac.diffs<br /><br />
+            svn diff Javac.java &gt; javac.diffs<br /><br />
             </font>
 
            Note: You should give your patch files meaningful names.
diff --git a/xdocs/bugs.xml b/xdocs/bugs.xml
index 6625af9f5..b018fe1d8 100644
--- a/xdocs/bugs.xml
+++ b/xdocs/bugs.xml
@@ -151,9 +151,9 @@
             <font face="verdana" size="-1">
             diff -u Javac.java.orig Javac.java &gt; javac.diffs<br></br><br></br>
             </font>
-            or, if you have source from CVS:<br></br><br></br>
+            or, if you have source from SVN:<br></br><br></br>
             <font face="verdana" size="-1">
-            cvs diff -u Javac.java &gt; javac.diffs<br></br><br></br>
+            svn diff Javac.java &gt; javac.diffs<br></br><br></br>
             </font>
 
            Note: You should give your patch files meaningful names.