1 # texi.mk -- making .dvi and .info from .texi.
2 @MAINT@MAKEINFO = makeinfo
3 @MAINT@MAKEINFO_FLAGS = --paragraph-indent=2 -I$(srcdir)
5 @MAINT@TEXI2DVI = texi2dvi
6 @MAINT@# To make sure that generation of the dvi files succeeds on the
7 @MAINT@# maintainer's system.
8 @MAINT@TEXI2DVI = TEXMFCNF=$(web2cdir) texi2dvi
10 @MAINT@TEXI2HTML = texi2html
11 @MAINT@TEXI2HTML_FLAGS = -expandinfo -number -menu -split_chapter
12 # If you prefer one big .html file instead of several, remove
13 # -split-node or replace it by -split_chapter.
15 # For making normal text files out of Texinfo source.
16 @MAINT@one_info = --no-headers --no-split --no-validate
18 @MAINT@.SUFFIXES: .info .dvi .html .texi
20 @MAINT@ $(MAKEINFO) $(MAKEINFO_FLAGS) $< -o $@
22 @MAINT@ $(TEXI2DVI) $(TEXI2DVI_FLAGS) $<
24 @MAINT@ $(TEXI2HTML) $(TEXI2HTML_FLAGS) $<