view make/texi.make @ 1313:f0dcdcc9a780

[project @ 1995-06-25 18:42:38 by jwe] Initial revision
author jwe
date Sun, 25 Jun 1995 18:42:38 +0000
parents 99b98517b7ac
children ce26e54112b0
line wrap: on
line source

# texi.make -- making .dvi and .info from .texi.

MAKEINFO = makeinfo
MAKEINFO_FLAGS = --paragraph-indent=2 -I$(HOME)/gnu/gnuorg
# That -I is purely for my own benefit in doing `make dist'.  It won't
# hurt anything for you (I hope).
TEXI2DVI = texi2dvi

.SUFFIXES: .info .dvi .texi
.texi.info:
	$(MAKEINFO) $(MAKEINFO_FLAGS) $< -o $@
.texi.dvi:
	$(TEXI2DVI) $(TEXI2DVI_FLAGS) $<