From ab20cf481c19c7a240d3e27d556bafe281d17f5b Mon Sep 17 00:00:00 2001
From: Bruno Haible <bruno@clisp.org>
Date: Thu, 2 Apr 2009 12:40:42 +0200
Subject: [PATCH] Combine 4 Makefile rules.

---
 ChangeLog |  5 +++++
 Makefile  | 10 ++--------
 2 files changed, 7 insertions(+), 8 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 1f341e5b0..10228b545 100644
--- 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 f6cd61bd9..acdb23d2f 100644
--- 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:
-- 
2.11.0