annotate man/Makefile.in @ 22084:08f31e440c92

(system-tmp-directory): New variable. (recover-session-finish): Unmark the current line so that the file being used for recovery will not get deleted.
author Richard M. Stallman <rms@gnu.org>
date Sat, 16 May 1998 03:38:20 +0000
parents 42f675eaceff
children 10196cc8877c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1 #### Makefile for the Emacs Manual and other documentation.
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
3 # Where to find the source code. The source code for Emacs's C kernel is
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4 # expected to be in ${srcdir}/src, and the source code for Emacs's
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
5 # utility programs is expected to be in ${srcdir}/lib-src. This is
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6 # set by the configure script's `--srcdir' option.
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7 srcdir=@srcdir@
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 # Tell make where to find source files; this is needed for the makefiles.
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10 VPATH=@srcdir@
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 # The makeinfo program is part of the Texinfo distribution.
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 MAKEINFO = makeinfo
20863
6ee33d0e1682 (reftex.dvi, ../info/reftex): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 19968
diff changeset
15 INFO_TARGETS = ../info/emacs ../info/ccmode ../info/cl ../info/customize \
6ee33d0e1682 (reftex.dvi, ../info/reftex): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 19968
diff changeset
16 ../info/dired-x ../info/ediff ../info/forms ../info/gnus \
6ee33d0e1682 (reftex.dvi, ../info/reftex): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 19968
diff changeset
17 ../info/info ../info/message ../info/mh-e ../info/reftex \
6ee33d0e1682 (reftex.dvi, ../info/reftex): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 19968
diff changeset
18 ../info/sc ../info/vip ../info/viper ../info/widget
6ee33d0e1682 (reftex.dvi, ../info/reftex): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 19968
diff changeset
19 DVI_TARGETS = emacs.dvi cc-mode.dvi cl.dvi customize.dvi dired-x.dvi \
6ee33d0e1682 (reftex.dvi, ../info/reftex): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 19968
diff changeset
20 ediff.dvi forms.dvi gnus.dvi message.dvi mh-e.dvi \
6ee33d0e1682 (reftex.dvi, ../info/reftex): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 19968
diff changeset
21 reftex.dvi sc.dvi vip.dvi viper.dvi widget.dvi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 INFOSOURCES = info.texi info-stnd.texi
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
24 # The following rule does not work with all versions of `make'.
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25 .SUFFIXES: .texi .dvi
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26 .texi.dvi:
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 texi2dvi $<
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 TEXI2DVI = texi2dvi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
30 ENVADD = TEXINPUTS="$(srcdir):$(TEXINPUTS)" MAKEINFO="$(MAKEINFO) -I$(srcdir)"
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32 EMACSSOURCES= \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 ${srcdir}/emacs.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 ${srcdir}/screen.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 ${srcdir}/commands.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 ${srcdir}/entering.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 ${srcdir}/basic.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 ${srcdir}/mini.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39 ${srcdir}/m-x.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 ${srcdir}/help.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 ${srcdir}/mark.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 ${srcdir}/killing.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 ${srcdir}/regs.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 ${srcdir}/display.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45 ${srcdir}/search.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 ${srcdir}/fixit.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 ${srcdir}/files.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 ${srcdir}/buffers.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 ${srcdir}/windows.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50 ${srcdir}/frames.texi \
21965
3681d61e4ed8 (EMACSSOURCES): Add mule.texi.
Richard M. Stallman <rms@gnu.org>
parents: 21392
diff changeset
51 ${srcdir}/mule.texi \
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 ${srcdir}/major.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 ${srcdir}/indent.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 ${srcdir}/text.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 ${srcdir}/programs.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 ${srcdir}/building.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 ${srcdir}/abbrevs.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 ${srcdir}/picture.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 ${srcdir}/sending.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 ${srcdir}/rmail.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 ${srcdir}/dired.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 ${srcdir}/calendar.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 ${srcdir}/misc.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 ${srcdir}/custom.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 ${srcdir}/trouble.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 ${srcdir}/cmdargs.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 ${srcdir}/anti.texi \
21968
42f675eaceff (EMACSSOURCES): Add msdog.texi, ack.texi. Remove gnu1.texi.
Richard M. Stallman <rms@gnu.org>
parents: 21965
diff changeset
68 ${srcdir}/msdog.texi \
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69 ${srcdir}/gnu.texi \
21968
42f675eaceff (EMACSSOURCES): Add msdog.texi, ack.texi. Remove gnu1.texi.
Richard M. Stallman <rms@gnu.org>
parents: 21965
diff changeset
70 ${srcdir}/glossary.texi \
42f675eaceff (EMACSSOURCES): Add msdog.texi, ack.texi. Remove gnu1.texi.
Richard M. Stallman <rms@gnu.org>
parents: 21965
diff changeset
71 ${srcdir}/ack.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
73 info: $(INFO_TARGETS)
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
74
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75 dvi: $(DVI_TARGETS)
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
76
15467
5211a1402647 (All info targets): Specify $(srcdir) in input files. Specify -I option.
Richard M. Stallman <rms@gnu.org>
parents: 14103
diff changeset
77 # Note that all the Info targets build the Info files
5211a1402647 (All info targets): Specify $(srcdir) in input files. Specify -I option.
Richard M. Stallman <rms@gnu.org>
parents: 14103
diff changeset
78 # in srcdir. There is no provision for Info files
5211a1402647 (All info targets): Specify $(srcdir) in input files. Specify -I option.
Richard M. Stallman <rms@gnu.org>
parents: 14103
diff changeset
79 # to exist in the build directory.
5211a1402647 (All info targets): Specify $(srcdir) in input files. Specify -I option.
Richard M. Stallman <rms@gnu.org>
parents: 14103
diff changeset
80 # In a distribution of Emacs, the Info files should be up to date.
5211a1402647 (All info targets): Specify $(srcdir) in input files. Specify -I option.
Richard M. Stallman <rms@gnu.org>
parents: 14103
diff changeset
81
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82 ../info/info: ${INFOSOURCES}
15468
641d6a7398ff (All info targets): cd $(srcdir) to do the work.
Richard M. Stallman <rms@gnu.org>
parents: 15467
diff changeset
83 cd $(srcdir); $(MAKEINFO) --no-split info.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85 info.dvi: ${INFOSOURCES}
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
86 $(ENVADD) $(TEXI2DVI) ${srcdir}/info.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
88 ../info/emacs: ${EMACSSOURCES}
15468
641d6a7398ff (All info targets): cd $(srcdir) to do the work.
Richard M. Stallman <rms@gnu.org>
parents: 15467
diff changeset
89 cd $(srcdir); $(MAKEINFO) emacs.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 emacs.dvi: ${EMACSSOURCES}
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
92 $(ENVADD) $(TEXI2DVI) ${srcdir}/emacs.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93
14103
b6ec260d7c2c (../info/ccmode): Renamed from ../info/cc-mode.
Karl Heuer <kwzh@gnu.org>
parents: 13666
diff changeset
94 ../info/ccmode: cc-mode.texi
15468
641d6a7398ff (All info targets): cd $(srcdir) to do the work.
Richard M. Stallman <rms@gnu.org>
parents: 15467
diff changeset
95 cd $(srcdir); $(MAKEINFO) cc-mode.texi
13666
e97eebb1206d (../info/cc-mode, cc-mode.dvi): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 12384
diff changeset
96 cc-mode.dvi: cc-mode.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
97 $(ENVADD) $(TEXI2DVI) ${srcdir}/cc-mode.texi
13666
e97eebb1206d (../info/cc-mode, cc-mode.dvi): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 12384
diff changeset
98
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99 ../info/cl: cl.texi
15468
641d6a7398ff (All info targets): cd $(srcdir) to do the work.
Richard M. Stallman <rms@gnu.org>
parents: 15467
diff changeset
100 cd $(srcdir); $(MAKEINFO) cl.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101 cl.dvi: cl.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
102 $(ENVADD) $(TEXI2DVI) ${srcdir}/cl.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103
19968
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
104 ../info/customize: customize.texi
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
105 cd $(srcdir); $(MAKEINFO) customize.texi
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
106 customize.dvi: customize.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
107 $(ENVADD) $(TEXI2DVI) ${srcdir}/customize.texi
19968
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
108
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109 ../info/dired-x: dired-x.texi
15468
641d6a7398ff (All info targets): cd $(srcdir) to do the work.
Richard M. Stallman <rms@gnu.org>
parents: 15467
diff changeset
110 cd $(srcdir); $(MAKEINFO) dired-x.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111 dired-x.dvi: dired-x.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
112 $(ENVADD) $(TEXI2DVI) ${srcdir}/dired-x.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
113
12384
13dd2463be12 (../info/ediff, ediff.dvi): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 11511
diff changeset
114 ../info/ediff: ediff.texi
15468
641d6a7398ff (All info targets): cd $(srcdir) to do the work.
Richard M. Stallman <rms@gnu.org>
parents: 15467
diff changeset
115 cd $(srcdir); $(MAKEINFO) ediff.texi
12384
13dd2463be12 (../info/ediff, ediff.dvi): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 11511
diff changeset
116 ediff.dvi: ediff.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
117 $(ENVADD) $(TEXI2DVI) ${srcdir}/ediff.texi
12384
13dd2463be12 (../info/ediff, ediff.dvi): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 11511
diff changeset
118
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 ../info/forms: forms.texi
15468
641d6a7398ff (All info targets): cd $(srcdir) to do the work.
Richard M. Stallman <rms@gnu.org>
parents: 15467
diff changeset
120 cd $(srcdir); $(MAKEINFO) forms.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 forms.dvi: forms.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
122 $(ENVADD) $(TEXI2DVI) ${srcdir}/forms.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123
19968
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
124 ../info/gnus: gnus.texi
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
125 cd $(srcdir); $(MAKEINFO) gnus.texi
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
126 gnus.dvi: gnus.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
127 $(ENVADD) $(TEXI2DVI) ${srcdir}/gnus.texi
19968
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
128
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
129 ../info/message: message.texi
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
130 cd $(srcdir); $(MAKEINFO) message.texi
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
131 message.dvi: message.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
132 $(ENVADD) $(TEXI2DVI) ${srcdir}/message.texi
19968
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
133
11478
8a5fc4539429 (INFO_TARGETS, DVI_TARGETS): Add mh-e targets.
Richard M. Stallman <rms@gnu.org>
parents: 10686
diff changeset
134 ../info/mh-e: mh-e.texi
15468
641d6a7398ff (All info targets): cd $(srcdir) to do the work.
Richard M. Stallman <rms@gnu.org>
parents: 15467
diff changeset
135 cd $(srcdir); $(MAKEINFO) mh-e.texi
11478
8a5fc4539429 (INFO_TARGETS, DVI_TARGETS): Add mh-e targets.
Richard M. Stallman <rms@gnu.org>
parents: 10686
diff changeset
136 mh-e.dvi: mh-e.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
137 $(ENVADD) $(TEXI2DVI) ${srcdir}/mh-e.texi
11478
8a5fc4539429 (INFO_TARGETS, DVI_TARGETS): Add mh-e targets.
Richard M. Stallman <rms@gnu.org>
parents: 10686
diff changeset
138
20863
6ee33d0e1682 (reftex.dvi, ../info/reftex): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 19968
diff changeset
139 ../info/reftex: reftex.texi
6ee33d0e1682 (reftex.dvi, ../info/reftex): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 19968
diff changeset
140 cd $(srcdir); $(MAKEINFO) reftex.texi
6ee33d0e1682 (reftex.dvi, ../info/reftex): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 19968
diff changeset
141 reftex.dvi: reftex.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
142 $(ENVADD) $(TEXI2DVI) ${srcdir}/reftex.texi
20863
6ee33d0e1682 (reftex.dvi, ../info/reftex): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 19968
diff changeset
143
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 ../info/sc: sc.texi
15468
641d6a7398ff (All info targets): cd $(srcdir) to do the work.
Richard M. Stallman <rms@gnu.org>
parents: 15467
diff changeset
145 cd $(srcdir); $(MAKEINFO) sc.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146 sc.dvi: sc.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
147 $(ENVADD) $(TEXI2DVI) ${srcdir}/sc.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 ../info/vip: vip.texi
15468
641d6a7398ff (All info targets): cd $(srcdir) to do the work.
Richard M. Stallman <rms@gnu.org>
parents: 15467
diff changeset
150 cd $(srcdir); $(MAKEINFO) vip.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 vip.dvi: vip.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
152 $(ENVADD) $(TEXI2DVI) ${srcdir}/vip.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153
19968
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
154 ../info/viper: viper.texi
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
155 cd $(srcdir); $(MAKEINFO) viper.texi
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
156 viper.dvi: viper.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
157 $(ENVADD) $(TEXI2DVI) ${srcdir}/viper.texi
15525
521a4d5ccea0 Add rules for the Message manual.
Lars Magne Ingebrigtsen <larsi@gnus.org>
parents: 15468
diff changeset
158
17335
d80b4f8daf6d Added widget and custom manuals.
Per Abrahamsen <abraham@dina.kvl.dk>
parents: 15525
diff changeset
159 ../info/widget: widget.texi
d80b4f8daf6d Added widget and custom manuals.
Per Abrahamsen <abraham@dina.kvl.dk>
parents: 15525
diff changeset
160 cd $(srcdir); $(MAKEINFO) widget.texi
d80b4f8daf6d Added widget and custom manuals.
Per Abrahamsen <abraham@dina.kvl.dk>
parents: 15525
diff changeset
161 widget.dvi: widget.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
162 $(ENVADD) $(TEXI2DVI) ${srcdir}/widget.texi
17335
d80b4f8daf6d Added widget and custom manuals.
Per Abrahamsen <abraham@dina.kvl.dk>
parents: 15525
diff changeset
163
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
164 ../etc/GNU: gnu1.texi gnu.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
165 cd $(srcdir) && makeinfo --no-headers -o ../etc/GNU gnu1.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
166
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
167 mostlyclean:
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 rm -f *.log *.cp *.fn *.ky *.pg *.vr core
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170 clean: mostlyclean
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 rm -f *.dvi
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 distclean: clean
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
174
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175 maintainer-clean: distclean
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176 rm -f *.aux *.cps *.fns *.kys *.pgs *.vrs
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 # Don't delete these, because they are outside the current directory.
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178 # for file in $(INFO_TARGETS); do rm -f $${file}*; done
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181 # Formerly this directory had texindex.c and getopt.c in it
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182 # and this makefile built them to make texindex.
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 # That caused trouble because this is run entirely in the source directory.
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 # Since we expect to get texi2dvi from elsewhere,
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 # it is ok to expect texindex from elsewhere also.