doc/Makefile

   1 # $Id: Makefile,v 1.2 2006-02-24 00:19:55 karl Exp $
   2 # Makefile for gnulib doc.
   3 # Copyright (C) 2004, 2006 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: info html dvi
  16 info: $(doc).info
  17 html: $(doc).html
  18 dvi: $(doc).dvi