1 | # -*-Makefile-*-, or close enough
|
---|
2 | # Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005, 2006 Free Software
|
---|
3 | # Foundation, Inc.
|
---|
4 | # This file is part of GNU Make.
|
---|
5 | #
|
---|
6 | # GNU Make is free software; you can redistribute it and/or modify it under the
|
---|
7 | # terms of the GNU General Public License as published by the Free Software
|
---|
8 | # Foundation; either version 2, or (at your option) any later version.
|
---|
9 | #
|
---|
10 | # GNU Make is distributed in the hope that it will be useful, but WITHOUT ANY
|
---|
11 | # WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
|
---|
12 | # A PARTICULAR PURPOSE. See the GNU General Public License for more details.
|
---|
13 | #
|
---|
14 | # You should have received a copy of the GNU General Public License along with
|
---|
15 | # GNU Make; see the file COPYING. If not, write to the Free Software
|
---|
16 | # Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
|
---|
17 |
|
---|
18 | TEXI2HTML = texi2html
|
---|
19 | TEXI2HTML_FLAGS = -split_chapter
|
---|
20 |
|
---|
21 | info_TEXINFOS = make.texi
|
---|
22 | make_TEXINFOS = fdl.texi make-stds.texi
|
---|
23 |
|
---|
24 | CLEANFILES = make*.html
|
---|
25 |
|
---|
26 | ## ----------------------------- ##
|
---|
27 | ## Other documentation formats. ##
|
---|
28 | ## ----------------------------- ##
|
---|
29 |
|
---|
30 | html: make_1.html
|
---|
31 |
|
---|
32 | make_1.html: $(info_TEXINFOS) $(make_TEXINFOS)
|
---|
33 | $(TEXI2HTML) $(TEXI2HTML_FLAGS) $(srcdir)/make.texi
|
---|
34 |
|
---|
35 | .PHONY: html
|
---|