comparison kpathsea/make/texi.make @ 2999:faa5d0421460

[project @ 1997-05-23 03:02:09 by jwe]
author jwe
date Fri, 23 May 1997 03:02:36 +0000
parents
children c925de13bb22
comparison
equal deleted inserted replaced
2998:692ba9d441ec 2999:faa5d0421460
1 # texi.make -- making .dvi and .info from .texi.
2 MAKEINFO = makeinfo
3 MAKEINFO_FLAGS = --paragraph-indent=2 -I$(HOME)/gnu/gnuorg
4 # That -I is purely for my own benefit in doing `make dist'. It won't
5 # hurt anything for you (I hope).
6 TEXI2DVI = texi2dvi
7
8 TEXI2HTML = texi2html
9 TEXI2HTML_FLAGS = -split_node -menu
10 # If you prefer one big .html file instead of several, remove
11 # -split-node or replace it by -split_chapter.
12
13 # For making normal text files out of Texinfo source.
14 one_info = --no-headers --no-split --no-validate
15
16 .SUFFIXES: .info .dvi .html .texi
17 .texi.info:
18 $(MAKEINFO) $(MAKEINFO_FLAGS) $< -o $@
19 .texi.dvi:
20 $(TEXI2DVI) $(TEXI2DVI_FLAGS) $<
21 .texi.html:
22 $(TEXI2HTML) $(TEXI2HTML_FLAGS) $<
23 # End of texi.make.