File: texi.make

package info (click to toggle)
tetex-bin 0.9-7
  • links: PTS
  • area: main
  • in suites: hamm
  • size: 31,840 kB
  • ctags: 20,484
  • sloc: ansic: 183,676; sh: 7,743; perl: 3,431; makefile: 2,891; pascal: 1,546; yacc: 1,507; cpp: 608; awk: 522; asm: 500; lex: 323; sed: 322; csh: 47
file content (25 lines) | stat: -rw-r--r-- 785 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
 
# texi.make -- making .dvi and .info from .texi.
MAKEINFO = makeinfo
MAKEINFO_FLAGS = --paragraph-indent=2 -I$(srcdir)

TEXI2DVI = texi2dvi
@MAINT@# To make sure that generation of the dvi files succeeds on the
@MAINT@# maintainer's system.
@MAINT@TEXI2DVI = TEXMFCNF=$(web2cdir) texi2dvi

TEXI2HTML = texi2html
TEXI2HTML_FLAGS = -expandinfo -number -menu -split_chapter
# If you prefer one big .html file instead of several, remove
# -split-node or replace it by -split_chapter.

# For making normal text files out of Texinfo source.
one_info = --no-headers --no-split --no-validate

.SUFFIXES: .info .dvi .html .texi
.texi.info:
	$(MAKEINFO) $(MAKEINFO_FLAGS) $< -o $@
.texi.dvi:
	$(TEXI2DVI) $(TEXI2DVI_FLAGS) $<
.texi.html:
	$(TEXI2HTML) $(TEXI2HTML_FLAGS) $< 
# End of texi.make.