From 97a792515f00aac41a6bfad193f8e616b37bdf5d Mon Sep 17 00:00:00 2001
From: Karl Berry <karl@freefriends.org>
Date: Fri, 24 Feb 2006 00:19:55 +0000
Subject: [PATCH] info html dvi targets

---
 doc/Makefile | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index ff8974f151..ee4c23c26d 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,6 +1,6 @@
-# $Id: Makefile,v 1.1 2004-09-19 13:17:06 karl Exp $
+# $Id: Makefile,v 1.2 2006-02-24 00:19:55 karl Exp $
 # Makefile for gnulib doc.  
-# Copyright (C) 2004 Free Software Foundation, Inc.
+# Copyright (C) 2004, 2006 Free Software Foundation, Inc.
 #
 # Copying and distribution of this file, with or without modification,
 # are permitted in any medium without royalty provided the copyright
@@ -12,4 +12,7 @@ TEXI2HTML = $(MAKEINFO) --no-split --html
 %.html: %.texi
 	$(TEXI2HTML) -o $@ $< 
 
-all: $(doc).info $(doc).html $(doc).dvi 
+all: info html dvi
+info: $(doc).info 
+html: $(doc).html
+dvi: $(doc).dvi 
-- 
2.30.2