-# $Id: Makefile,v 1.1 2004-09-19 13:17:06 karl Exp $
+# $Id: Makefile,v 1.3 2006-06-19 20:40:26 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
%.html: %.texi
$(TEXI2HTML) -o $@ $<
-all: $(doc).info $(doc).html $(doc).dvi
+all: info html dvi
+info: $(doc).info
+html: $(doc).html
+dvi: $(doc).dvi