# HG changeset patch
# User Karl Berry <karl@freefriends.org>
# Date 1140740395 0
# Node ID c38e86f79bc1d7e51f9e0416d82765a7db2cf367
# Parent  ca74ccfe8d1bc84788d00f43c6b58917bdcb7de3
info html dvi targets

diff --git a/doc/Makefile b/doc/Makefile
--- 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 @@
 %.html: %.texi
 	$(TEXI2HTML) -o $@ $< 
 
-all: $(doc).info $(doc).html $(doc).dvi 
+all: info html dvi
+info: $(doc).info 
+html: $(doc).html
+dvi: $(doc).dvi