info html dvi targets

diff --git a/doc/Makefile b/doc/Makefile
index ff8974f1512799466b3bb35a32a11daf04a7dccf..ee4c23c26d59aa8d5a70b4439792f4389a0ea369 100644 (file)
--- 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