Make rename replace existing destinations on Windows.

[gnulib.git] / Makefile

diff --git a/Makefile b/Makefile
index e39ec27..acdb23d 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,19 +1,25 @@
 # Makefile for gnulib central.
-# Copyright (C) 2006 Free Software Foundation, Inc.
+# Copyright (C) 2006, 2009 Free Software Foundation, Inc.
 #
 # Copying and distribution of this file, with or without modification,
 # in any medium, are permitted without royalty provided the copyright
 # notice and this notice are preserved.
 
-# Produce some files that are not stored in CVS.
+# Produce some files that are not stored in the repository.
 all:
 
+# Produce the documentation in readable form.
+info html dvi pdf:
+       cd doc && $(MAKE) $@ && $(MAKE) mostlyclean
+
 # Perform some platform independent checks on the gnulib code.
 check:
 
-# Regenerate some files that are stored in CVS; you should commit them
-# afterwards.
+# Regenerate some files that are stored in the repository.
 regen: MODULES.html
 
+# MODULES.html is periodically being generated and copied to the web pages at
+# :ext:USER@cvs.savannah.gnu.org:/web/gnulib/gnulib/
+# where it then appears at <http://www.gnu.org/software/gnulib/MODULES.html>.
 MODULES.html: MODULES.html.sh
        ./MODULES.html.sh > MODULES.html