blob: 3fa7e24fa66f3fac08980805f177cbdcb1f82286 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
# $Id: Makefile,v 1.3 2006-06-19 20:40:26 karl Exp $
# Makefile for gnulib doc.
# 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
# notice and this notice are preserved.
doc = gnulib
TEXI2HTML = $(MAKEINFO) --no-split --html
%.html: %.texi
$(TEXI2HTML) -o $@ $<
all: info html dvi
info: $(doc).info
html: $(doc).html
dvi: $(doc).dvi
|
