Remove --cvs-urls option.

diff --git a/ChangeLog b/ChangeLog
index e6f2ba94324ee4f0d67bde2ae3e25ed71562a934..52c619b7abe71bd1ed306392e69bd465c8e99208 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2008-08-29  Bruno Haible  <bruno@clisp.org>
+
+       * MODULES.html.sh: Remove --cvs-urls option. Not useful any more, due
+       to synchronization problems between the git and the cvs repository.
+
 2008-08-28  Jose E. Marchesi  <jemarch@gnu.org>  (tiny change)
 
        maint.mk: adjust to file name change

diff --git a/MODULES.html.sh b/MODULES.html.sh
index 43dad362cab38a925b1c4c3d73ffee9669181dd7..66b9924d46202d2c174025e16904c03f01106dc5 100755 (executable)
--- a/MODULES.html.sh
+++ b/MODULES.html.sh
@@ -16,7 +16,7 @@
 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
 #
 
-# Usage: MODULES.html.sh [--cvs-urls|--git-urls] > MODULES.html
+# Usage: MODULES.html.sh [--git-urls] > MODULES.html
 
 # Extend the PATH so that gnulib-tool is found.
 PATH=`dirname "$0"`:$PATH; export PATH
@@ -31,11 +31,6 @@ repo_url_prefix=
 repo_url_suffix=
 if test $# != 0; then
   case "$1" in
-    --cvs-urls)
-      # Generate URLs to the official gnulib CVS repository.
-      repo_url_prefix='http://cvs.sv.gnu.org/viewcvs/*checkout*/gnulib/'
-      repo_url_suffix='?root=gnulib&content-type=text/plain'
-      ;;
     --git-urls)
       # Generate URLs to the official gnulib git repository.
       repo_url_prefix='http://git.sv.gnu.org/gitweb/?p=gnulib.git;a=blob_plain;f='