Combine 4 Makefile rules.

diff --git a/ChangeLog b/ChangeLog
index 1f341e5b0c421d38b11be8b1e27b87af3bbd68d9..10228b545caccd0d05d1f70f6aacfce5c49cdfb7 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2009-04-02  Bruno Haible  <bruno@clisp.org>
+
+       * Makefile (info, html, dvi, pdf): Combine the rules.
+       Suggested by Jim Meyering.
+
 2009-04-01  Bruno Haible  <bruno@clisp.org>
 
        * Makefile (info, html, dvi, pdf): New targets.

diff --git a/Makefile b/Makefile
index f6cd61bd9716efbec3c3611a68a17cba39be7b6a..acdb23d2f94672f4d7b02b8babc34e7df9bd7029 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -9,14 +9,8 @@
 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
+info html dvi pdf:
+       cd doc && $(MAKE) $@ && $(MAKE) mostlyclean
 
 # Perform some platform independent checks on the gnulib code.
 check: