# $Id: Makefile,v 1.1 2004-09-19 13:17:06 karl Exp $
# Makefile for gnulib doc.  
# Copyright (C) 2004 Free Software Foundation, Inc.
#
# Copying and distribution of this file, with or without modification,
# are permitted in any medium without royalty provided the copyright
# notice and this notice are preserved.

doc = gnulib

TEXI2HTML = $(MAKEINFO) --no-split --html
%.html: %.texi
	$(TEXI2HTML) -o $@ $< 

all: $(doc).info $(doc).html $(doc).dvi