doc/Makefile

   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.
   4 #
   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.
   8
   9 doc = gnulib
  10
  11 TEXI2HTML = $(MAKEINFO) --no-split --html
  12 %.html: %.texi
  13         $(TEXI2HTML) -o $@ $<
  14
  15 all: $(doc).info $(doc).html $(doc).dvi