Add targets for the documentation.

diff --git a/ChangeLog b/ChangeLog
index 082be5edf19a3dbfda45d374ae1c79b687dcc899..1f341e5b0c421d38b11be8b1e27b87af3bbd68d9 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+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

diff --git a/Makefile b/Makefile
index e39ec27e7086824f43940fb4b8c9f36ea3ea85d2..f6cd61bd9716efbec3c3611a68a17cba39be7b6a 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