annotate make/texi.make @ 1327:019ab630c727

[project @ 1995-08-22 07:00:14 by jwe]
author jwe
date Tue, 22 Aug 1995 07:00:14 +0000
parents 99b98517b7ac
children ce26e54112b0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1284
99b98517b7ac [project @ 1995-04-27 22:05:53 by jwe]
jwe
parents:
diff changeset
1 # texi.make -- making .dvi and .info from .texi.
99b98517b7ac [project @ 1995-04-27 22:05:53 by jwe]
jwe
parents:
diff changeset
2
99b98517b7ac [project @ 1995-04-27 22:05:53 by jwe]
jwe
parents:
diff changeset
3 MAKEINFO = makeinfo
99b98517b7ac [project @ 1995-04-27 22:05:53 by jwe]
jwe
parents:
diff changeset
4 MAKEINFO_FLAGS = --paragraph-indent=2 -I$(HOME)/gnu/gnuorg
99b98517b7ac [project @ 1995-04-27 22:05:53 by jwe]
jwe
parents:
diff changeset
5 # That -I is purely for my own benefit in doing `make dist'. It won't
99b98517b7ac [project @ 1995-04-27 22:05:53 by jwe]
jwe
parents:
diff changeset
6 # hurt anything for you (I hope).
99b98517b7ac [project @ 1995-04-27 22:05:53 by jwe]
jwe
parents:
diff changeset
7 TEXI2DVI = texi2dvi
99b98517b7ac [project @ 1995-04-27 22:05:53 by jwe]
jwe
parents:
diff changeset
8
99b98517b7ac [project @ 1995-04-27 22:05:53 by jwe]
jwe
parents:
diff changeset
9 .SUFFIXES: .info .dvi .texi
99b98517b7ac [project @ 1995-04-27 22:05:53 by jwe]
jwe
parents:
diff changeset
10 .texi.info:
99b98517b7ac [project @ 1995-04-27 22:05:53 by jwe]
jwe
parents:
diff changeset
11 $(MAKEINFO) $(MAKEINFO_FLAGS) $< -o $@
99b98517b7ac [project @ 1995-04-27 22:05:53 by jwe]
jwe
parents:
diff changeset
12 .texi.dvi:
99b98517b7ac [project @ 1995-04-27 22:05:53 by jwe]
jwe
parents:
diff changeset
13 $(TEXI2DVI) $(TEXI2DVI_FLAGS) $<