summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorBruno Haible <bruno@clisp.org>2009-04-02 03:10:16 +0200
committerBruno Haible <bruno@clisp.org>2009-04-02 03:10:16 +0200
commitb3141dc15538accd8566de0d1e39b3f2f02650cb (patch)
treefdf2d1c2274a6ab37a252dbd5bd4380e36904ec9 /Makefile
parent02fb71925dfd6ba737b58c756a3bf1ca2518e350 (diff)
downloadgnulib-b3141dc15538accd8566de0d1e39b3f2f02650cb.tar.gz
Add targets for the documentation.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile20
1 files changed, 16 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index e39ec27e70..f6cd61bd97 100644
--- 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