Add targets for the documentation.

diff --git a/ChangeLog b/ChangeLog
index 082be5e..1f341e5 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
 2009-04-01  Bruno Haible  <bruno@clisp.org>
 
+       * Makefile (info, html, dvi, pdf): New targets.
+       Reported by Reuben Thomas <rrt@sc3d.org>.
+
+2009-04-01  Bruno Haible  <bruno@clisp.org>
+
        * doc/gnulib-tool.texi (Invoking gnulib-tool): Document how gnulib-tool
        can be put into PATH.
        Reported by Reuben Thomas <rrt@sc3d.org>. Suggested by Karl Berry.

diff --git a/Makefile b/Makefile
index e39ec27..f6cd61b 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,19 +1,31 @@
 # 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:
+       cd doc && $(MAKE) info
+html:
+       cd doc && $(MAKE) html
+dvi:
+       cd doc && $(MAKE) dvi && $(MAKE) mostlyclean
+pdf:
+       cd doc && $(MAKE) pdf && $(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