1 # $Id: Makefile,v 1.1 2004-09-19 13:17:06 karl Exp $
2 # Makefile for gnulib doc.
3 # Copyright (C) 2004 Free Software Foundation, Inc.
5 # Copying and distribution of this file, with or without modification,
6 # are permitted in any medium without royalty provided the copyright
7 # notice and this notice are preserved.
11 TEXI2HTML = $(MAKEINFO) --no-split --html
15 all: $(doc).info $(doc).html $(doc).dvi