annotate man/Makefile.in @ 37320:43f6d0dc6354

(command-line): Output a newline after printing an error from loading the window system's init file.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 11 Apr 2001 14:28:56 +0000
parents ae6f44419d28
children e821a20867c9
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
36226
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
3 # Copyright (C) 1994, 1996, 1997, 1998, 1999, 2000, 2001
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
4 # Free Software Foundation, Inc.
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
5
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
6 # This file is part of GNU Emacs.
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
7
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
8 # GNU Emacs is free software; you can redistribute it and/or modify
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
9 # it under the terms of the GNU General Public License as published by
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
10 # the Free Software Foundation; either version 2, or (at your option)
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
11 # any later version.
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
12
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
13 # GNU Emacs is distributed in the hope that it will be useful,
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
14 # but WITHOUT ANY WARRANTY; without even the implied warranty of
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
16 # GNU General Public License for more details.
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
17
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
18 # You should have received a copy of the GNU General Public License
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
19 # along with GNU Emacs; see the file COPYING. If not, write to
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
20 # the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
21 # Boston, MA 02111-1307, USA.
c8fb06423da0 Add copyright notice.
Gerd Moellmann <gerd@gnu.org>
parents: 34739
diff changeset
22
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 # 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
24 # 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
25 # 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
26 # set by the configure script's `--srcdir' option.
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 srcdir=@srcdir@
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 # 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
30 VPATH=@srcdir@
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
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 # The makeinfo program is part of the Texinfo distribution.
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 MAKEINFO = makeinfo
23820
3d67195ddc6a (INFO_TARGETS): Delete customize.info.
Markus Rost <rost@math.uni-bielefeld.de>
parents: 22105
diff changeset
35 INFO_TARGETS = ../info/emacs ../info/ccmode ../info/cl \
22105
10196cc8877c Whitespace change.
Richard M. Stallman <rms@gnu.org>
parents: 21968
diff changeset
36 ../info/dired-x ../info/ediff ../info/forms ../info/gnus \
10196cc8877c Whitespace change.
Richard M. Stallman <rms@gnu.org>
parents: 21968
diff changeset
37 ../info/info ../info/message ../info/mh-e ../info/reftex \
25477
32338cfa9fef Add faq.
Dave Love <fx@gnu.org>
parents: 23820
diff changeset
38 ../info/sc ../info/vip ../info/viper ../info/widget \
27179
c587e73a28e4 (INFO_TARGETS): Rename emacs-faq to efaq (for
Eli Zaretskii <eliz@gnu.org>
parents: 27104
diff changeset
39 ../info/efaq ../info/ada-mode ../info/autotype \
30661
0274b845303e (INFO_TARGETS): Add ../info/woman.
Eli Zaretskii <eliz@gnu.org>
parents: 29350
diff changeset
40 ../info/idlwave ../info/eudc ../info/ebrowse ../info/pcl-cvs \
32675
4761f4751766 * Makefile.in (Speedbar): Added build targets for speedbar.texi
Eric M. Ludlam <zappo@gnu.org>
parents: 32450
diff changeset
41 ../info/woman ../info/emacs-mime ../info/eshell \
4761f4751766 * Makefile.in (Speedbar): Added build targets for speedbar.texi
Eric M. Ludlam <zappo@gnu.org>
parents: 32450
diff changeset
42 ../info/speedbar
23820
3d67195ddc6a (INFO_TARGETS): Delete customize.info.
Markus Rost <rost@math.uni-bielefeld.de>
parents: 22105
diff changeset
43 DVI_TARGETS = emacs.dvi cc-mode.dvi cl.dvi dired-x.dvi \
20863
6ee33d0e1682 (reftex.dvi, ../info/reftex): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 19968
diff changeset
44 ediff.dvi forms.dvi gnus.dvi message.dvi mh-e.dvi \
25914
5b157f24c1e8 (INFO_TARGETS, DVI_TARGETS): Add ada-mode.
Gerd Moellmann <gerd@gnu.org>
parents: 25477
diff changeset
45 reftex.dvi sc.dvi vip.dvi viper.dvi widget.dvi faq.dvi \
29350
9ec9be532ad2 (INFO_TARGETS, DVI_TARGETS: Add pcl-cvs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 28866
diff changeset
46 ada-mode.dvi autotype.dvi idlwave.dvi eudc.dvi ebrowse.dvi \
32675
4761f4751766 * Makefile.in (Speedbar): Added build targets for speedbar.texi
Eric M. Ludlam <zappo@gnu.org>
parents: 32450
diff changeset
47 pcl-cvs.dvi woman.dvi emacs-mime.dvi eshell.dvi \
4761f4751766 * Makefile.in (Speedbar): Added build targets for speedbar.texi
Eric M. Ludlam <zappo@gnu.org>
parents: 32450
diff changeset
48 speedbar.dvi
33504
6f2387759887 (INFOSOURCES): Remove info-stnd.texi from prerequisites.
Eli Zaretskii <eliz@gnu.org>
parents: 32675
diff changeset
49 INFOSOURCES = info.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51 # The following rule does not work with all versions of `make'.
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 .SUFFIXES: .texi .dvi
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 .texi.dvi:
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 texi2dvi $<
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 TEXI2DVI = texi2dvi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
57 ENVADD = TEXINPUTS="$(srcdir):$(TEXINPUTS)" MAKEINFO="$(MAKEINFO) -I$(srcdir)"
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 EMACSSOURCES= \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 ${srcdir}/emacs.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 ${srcdir}/screen.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 ${srcdir}/commands.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 ${srcdir}/entering.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 ${srcdir}/basic.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 ${srcdir}/mini.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 ${srcdir}/m-x.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 ${srcdir}/help.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 ${srcdir}/mark.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69 ${srcdir}/killing.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70 ${srcdir}/regs.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71 ${srcdir}/display.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72 ${srcdir}/search.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
73 ${srcdir}/fixit.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
74 ${srcdir}/files.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75 ${srcdir}/buffers.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
76 ${srcdir}/windows.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
77 ${srcdir}/frames.texi \
21965
3681d61e4ed8 (EMACSSOURCES): Add mule.texi.
Richard M. Stallman <rms@gnu.org>
parents: 21392
diff changeset
78 ${srcdir}/mule.texi \
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
79 ${srcdir}/major.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
80 ${srcdir}/indent.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
81 ${srcdir}/text.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82 ${srcdir}/programs.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
83 ${srcdir}/building.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84 ${srcdir}/abbrevs.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85 ${srcdir}/picture.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 ${srcdir}/sending.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87 ${srcdir}/rmail.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
88 ${srcdir}/dired.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
89 ${srcdir}/calendar.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90 ${srcdir}/misc.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 ${srcdir}/custom.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 ${srcdir}/trouble.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93 ${srcdir}/cmdargs.texi \
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94 ${srcdir}/anti.texi \
21968
42f675eaceff (EMACSSOURCES): Add msdog.texi, ack.texi. Remove gnu1.texi.
Richard M. Stallman <rms@gnu.org>
parents: 21965
diff changeset
95 ${srcdir}/msdog.texi \
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96 ${srcdir}/gnu.texi \
21968
42f675eaceff (EMACSSOURCES): Add msdog.texi, ack.texi. Remove gnu1.texi.
Richard M. Stallman <rms@gnu.org>
parents: 21965
diff changeset
97 ${srcdir}/glossary.texi \
42f675eaceff (EMACSSOURCES): Add msdog.texi, ack.texi. Remove gnu1.texi.
Richard M. Stallman <rms@gnu.org>
parents: 21965
diff changeset
98 ${srcdir}/ack.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 info: $(INFO_TARGETS)
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102 dvi: $(DVI_TARGETS)
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103
15467
5211a1402647 (All info targets): Specify $(srcdir) in input files. Specify -I option.
Richard M. Stallman <rms@gnu.org>
parents: 14103
diff changeset
104 # 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
105 # 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
106 # 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
107 # 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
108
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109 ../info/info: ${INFOSOURCES}
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) --no-split info.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
112 info.dvi: ${INFOSOURCES}
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
113 $(ENVADD) $(TEXI2DVI) ${srcdir}/info.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115 ../info/emacs: ${EMACSSOURCES}
15468
641d6a7398ff (All info targets): cd $(srcdir) to do the work.
Richard M. Stallman <rms@gnu.org>
parents: 15467
diff changeset
116 cd $(srcdir); $(MAKEINFO) emacs.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118 emacs.dvi: ${EMACSSOURCES}
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
119 $(ENVADD) $(TEXI2DVI) ${srcdir}/emacs.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120
14103
b6ec260d7c2c (../info/ccmode): Renamed from ../info/cc-mode.
Karl Heuer <kwzh@gnu.org>
parents: 13666
diff changeset
121 ../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
122 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
123 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
124 $(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
125
25914
5b157f24c1e8 (INFO_TARGETS, DVI_TARGETS): Add ada-mode.
Gerd Moellmann <gerd@gnu.org>
parents: 25477
diff changeset
126 ../info/ada-mode: ada-mode.texi
5b157f24c1e8 (INFO_TARGETS, DVI_TARGETS): Add ada-mode.
Gerd Moellmann <gerd@gnu.org>
parents: 25477
diff changeset
127 cd $(srcdir); $(MAKEINFO) ada-mode.texi
5b157f24c1e8 (INFO_TARGETS, DVI_TARGETS): Add ada-mode.
Gerd Moellmann <gerd@gnu.org>
parents: 25477
diff changeset
128 ada-mode.dvi: ada-mode.texi
5b157f24c1e8 (INFO_TARGETS, DVI_TARGETS): Add ada-mode.
Gerd Moellmann <gerd@gnu.org>
parents: 25477
diff changeset
129 $(ENVADD) $(TEXI2DVI) ${srcdir}/ada-mode.texi
5b157f24c1e8 (INFO_TARGETS, DVI_TARGETS): Add ada-mode.
Gerd Moellmann <gerd@gnu.org>
parents: 25477
diff changeset
130
29350
9ec9be532ad2 (INFO_TARGETS, DVI_TARGETS: Add pcl-cvs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 28866
diff changeset
131 ../info/pcl-cvs: pcl-cvs.texi
9ec9be532ad2 (INFO_TARGETS, DVI_TARGETS: Add pcl-cvs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 28866
diff changeset
132 cd $(srcdir); $(MAKEINFO) pcl-cvs.texi
9ec9be532ad2 (INFO_TARGETS, DVI_TARGETS: Add pcl-cvs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 28866
diff changeset
133 pcl-cvs.dvi: pcl-cvs.texi
9ec9be532ad2 (INFO_TARGETS, DVI_TARGETS: Add pcl-cvs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 28866
diff changeset
134 $(ENVADD) $(TEXI2DVI) ${srcdir}/pcl-cvs.texi
9ec9be532ad2 (INFO_TARGETS, DVI_TARGETS: Add pcl-cvs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 28866
diff changeset
135
32450
99899af1ec94 Added the beginnings of proper Eshell documentation.
John Wiegley <johnw@newartisans.com>
parents: 31862
diff changeset
136 ../info/eshell: eshell.texi
99899af1ec94 Added the beginnings of proper Eshell documentation.
John Wiegley <johnw@newartisans.com>
parents: 31862
diff changeset
137 cd $(srcdir); $(MAKEINFO) eshell.texi
99899af1ec94 Added the beginnings of proper Eshell documentation.
John Wiegley <johnw@newartisans.com>
parents: 31862
diff changeset
138 eshell.dvi: eshell.texi
99899af1ec94 Added the beginnings of proper Eshell documentation.
John Wiegley <johnw@newartisans.com>
parents: 31862
diff changeset
139 $(ENVADD) $(TEXI2DVI) ${srcdir}/eshell.texi
99899af1ec94 Added the beginnings of proper Eshell documentation.
John Wiegley <johnw@newartisans.com>
parents: 31862
diff changeset
140
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141 ../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
142 cd $(srcdir); $(MAKEINFO) cl.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143 cl.dvi: cl.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
144 $(ENVADD) $(TEXI2DVI) ${srcdir}/cl.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
145
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146 ../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
147 cd $(srcdir); $(MAKEINFO) dired-x.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 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
149 $(ENVADD) $(TEXI2DVI) ${srcdir}/dired-x.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150
12384
13dd2463be12 (../info/ediff, ediff.dvi): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 11511
diff changeset
151 ../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
152 cd $(srcdir); $(MAKEINFO) ediff.texi
12384
13dd2463be12 (../info/ediff, ediff.dvi): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 11511
diff changeset
153 ediff.dvi: ediff.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
154 $(ENVADD) $(TEXI2DVI) ${srcdir}/ediff.texi
12384
13dd2463be12 (../info/ediff, ediff.dvi): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 11511
diff changeset
155
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 ../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
157 cd $(srcdir); $(MAKEINFO) forms.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 forms.dvi: forms.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
159 $(ENVADD) $(TEXI2DVI) ${srcdir}/forms.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
160
19968
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
161 ../info/gnus: gnus.texi
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
162 cd $(srcdir); $(MAKEINFO) gnus.texi
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
163 gnus.dvi: gnus.texi
34558
3acdbada9858 (mostlyclean): Remove gnustmp.*
Dave Love <fx@gnu.org>
parents: 33504
diff changeset
164 sed -e '/@iflatex/,/@end iflatex/d' ${srcdir}/gnus.texi > gnustmp.texi
3acdbada9858 (mostlyclean): Remove gnustmp.*
Dave Love <fx@gnu.org>
parents: 33504
diff changeset
165 $(ENVADD) $(TEXI2DVI) gnustmp.texi
3acdbada9858 (mostlyclean): Remove gnustmp.*
Dave Love <fx@gnu.org>
parents: 33504
diff changeset
166 cp gnustmp.dvi $*.dvi
3acdbada9858 (mostlyclean): Remove gnustmp.*
Dave Love <fx@gnu.org>
parents: 33504
diff changeset
167 rm gnustmp.*
19968
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
168
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
169 ../info/message: message.texi
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
170 cd $(srcdir); $(MAKEINFO) message.texi
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
171 message.dvi: message.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
172 $(ENVADD) $(TEXI2DVI) ${srcdir}/message.texi
19968
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
173
11478
8a5fc4539429 (INFO_TARGETS, DVI_TARGETS): Add mh-e targets.
Richard M. Stallman <rms@gnu.org>
parents: 10686
diff changeset
174 ../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
175 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
176 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
177 $(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
178
20863
6ee33d0e1682 (reftex.dvi, ../info/reftex): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 19968
diff changeset
179 ../info/reftex: reftex.texi
6ee33d0e1682 (reftex.dvi, ../info/reftex): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 19968
diff changeset
180 cd $(srcdir); $(MAKEINFO) reftex.texi
6ee33d0e1682 (reftex.dvi, ../info/reftex): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 19968
diff changeset
181 reftex.dvi: reftex.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
182 $(ENVADD) $(TEXI2DVI) ${srcdir}/reftex.texi
20863
6ee33d0e1682 (reftex.dvi, ../info/reftex): New targets.
Richard M. Stallman <rms@gnu.org>
parents: 19968
diff changeset
183
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 ../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
185 cd $(srcdir); $(MAKEINFO) sc.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186 sc.dvi: sc.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
187 $(ENVADD) $(TEXI2DVI) ${srcdir}/sc.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
188
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
189 ../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
190 cd $(srcdir); $(MAKEINFO) vip.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 vip.dvi: vip.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
192 $(ENVADD) $(TEXI2DVI) ${srcdir}/vip.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
193
19968
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
194 ../info/viper: viper.texi
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
195 cd $(srcdir); $(MAKEINFO) viper.texi
88dd57f50303 Merge changes mistakenly made to `Makefile'.
Paul Eggert <eggert@twinsun.com>
parents: 17335
diff changeset
196 viper.dvi: viper.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
197 $(ENVADD) $(TEXI2DVI) ${srcdir}/viper.texi
15525
521a4d5ccea0 Add rules for the Message manual.
Lars Magne Ingebrigtsen <larsi@gnus.org>
parents: 15468
diff changeset
198
17335
d80b4f8daf6d Added widget and custom manuals.
Per Abrahamsen <abraham@dina.kvl.dk>
parents: 15525
diff changeset
199 ../info/widget: widget.texi
d80b4f8daf6d Added widget and custom manuals.
Per Abrahamsen <abraham@dina.kvl.dk>
parents: 15525
diff changeset
200 cd $(srcdir); $(MAKEINFO) widget.texi
d80b4f8daf6d Added widget and custom manuals.
Per Abrahamsen <abraham@dina.kvl.dk>
parents: 15525
diff changeset
201 widget.dvi: widget.texi
21392
20bc0bd34ada (ENVADD): Enviroment vars to pass to texi2dvi. Use
Andreas Schwab <schwab@suse.de>
parents: 20863
diff changeset
202 $(ENVADD) $(TEXI2DVI) ${srcdir}/widget.texi
17335
d80b4f8daf6d Added widget and custom manuals.
Per Abrahamsen <abraham@dina.kvl.dk>
parents: 15525
diff changeset
203
27179
c587e73a28e4 (INFO_TARGETS): Rename emacs-faq to efaq (for
Eli Zaretskii <eliz@gnu.org>
parents: 27104
diff changeset
204 ../info/efaq: faq.texi
25477
32338cfa9fef Add faq.
Dave Love <fx@gnu.org>
parents: 23820
diff changeset
205 cd $(srcdir); $(MAKEINFO) faq.texi
32338cfa9fef Add faq.
Dave Love <fx@gnu.org>
parents: 23820
diff changeset
206 faq.dvi: faq.texi
32338cfa9fef Add faq.
Dave Love <fx@gnu.org>
parents: 23820
diff changeset
207 $(ENVADD) $(TEXI2DVI) ${srcdir}/faq.texi
32338cfa9fef Add faq.
Dave Love <fx@gnu.org>
parents: 23820
diff changeset
208
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
209 ../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
210 cd $(srcdir) && makeinfo --no-headers -o ../etc/GNU gnu1.texi
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
211
26150
96712277c1da Add autotype.
Dave Love <fx@gnu.org>
parents: 25996
diff changeset
212 ../info/autotype: autotype.texi
96712277c1da Add autotype.
Dave Love <fx@gnu.org>
parents: 25996
diff changeset
213 cd $(srcdir); $(MAKEINFO) autotype.texi
96712277c1da Add autotype.
Dave Love <fx@gnu.org>
parents: 25996
diff changeset
214 autotype.dvi: autotype.texi
96712277c1da Add autotype.
Dave Love <fx@gnu.org>
parents: 25996
diff changeset
215 $(ENVADD) $(TEXI2DVI) ${srcdir}/autotype.texi
96712277c1da Add autotype.
Dave Love <fx@gnu.org>
parents: 25996
diff changeset
216
34739
c38270499602 (../info/idlwave): Use --no-split.
Eli Zaretskii <eliz@gnu.org>
parents: 34558
diff changeset
217 # This is produced with --no-split to avoid making files whose
c38270499602 (../info/idlwave): Use --no-split.
Eli Zaretskii <eliz@gnu.org>
parents: 34558
diff changeset
218 # names clash on DOS 8+3 filesystems
27104
02916c79485d (INFO_TARGETS, DVI_TARGETS): Add idlwave.
Eli Zaretskii <eliz@gnu.org>
parents: 26150
diff changeset
219 ../info/idlwave: idlwave.texi
34739
c38270499602 (../info/idlwave): Use --no-split.
Eli Zaretskii <eliz@gnu.org>
parents: 34558
diff changeset
220 cd $(srcdir); $(MAKEINFO) --no-split idlwave.texi
27104
02916c79485d (INFO_TARGETS, DVI_TARGETS): Add idlwave.
Eli Zaretskii <eliz@gnu.org>
parents: 26150
diff changeset
221 idlwave.dvi: idlwave.texi
02916c79485d (INFO_TARGETS, DVI_TARGETS): Add idlwave.
Eli Zaretskii <eliz@gnu.org>
parents: 26150
diff changeset
222 $(ENVADD) $(TEXI2DVI) ${srcdir}/idlwave.texi
02916c79485d (INFO_TARGETS, DVI_TARGETS): Add idlwave.
Eli Zaretskii <eliz@gnu.org>
parents: 26150
diff changeset
223
27314
556645e6675e (INFO_TARGETS): Add eudc.
Gerd Moellmann <gerd@gnu.org>
parents: 27179
diff changeset
224 ../info/eudc: eudc.texi
556645e6675e (INFO_TARGETS): Add eudc.
Gerd Moellmann <gerd@gnu.org>
parents: 27179
diff changeset
225 cd $(srcdir); $(MAKEINFO) eudc.texi
556645e6675e (INFO_TARGETS): Add eudc.
Gerd Moellmann <gerd@gnu.org>
parents: 27179
diff changeset
226 eudc.dvi: eudc.texi
556645e6675e (INFO_TARGETS): Add eudc.
Gerd Moellmann <gerd@gnu.org>
parents: 27179
diff changeset
227 $(ENVADD) $(TEXI2DVI) ${srcdir}/eudc.texi
556645e6675e (INFO_TARGETS): Add eudc.
Gerd Moellmann <gerd@gnu.org>
parents: 27179
diff changeset
228
28866
b8fc13474751 (INFO_TARGETS): Add info/ebrowse.
Gerd Moellmann <gerd@gnu.org>
parents: 27314
diff changeset
229 ../info/ebrowse: ebrowse.texi
b8fc13474751 (INFO_TARGETS): Add info/ebrowse.
Gerd Moellmann <gerd@gnu.org>
parents: 27314
diff changeset
230 cd $(srcdir); $(MAKEINFO) ebrowse.texi
b8fc13474751 (INFO_TARGETS): Add info/ebrowse.
Gerd Moellmann <gerd@gnu.org>
parents: 27314
diff changeset
231 ebrowse.dvi: ebrowse.texi
b8fc13474751 (INFO_TARGETS): Add info/ebrowse.
Gerd Moellmann <gerd@gnu.org>
parents: 27314
diff changeset
232 $(ENVADD) $(TEXI2DVI) ${srcdir}/ebrowse.texi
b8fc13474751 (INFO_TARGETS): Add info/ebrowse.
Gerd Moellmann <gerd@gnu.org>
parents: 27314
diff changeset
233
30661
0274b845303e (INFO_TARGETS): Add ../info/woman.
Eli Zaretskii <eliz@gnu.org>
parents: 29350
diff changeset
234 ../info/woman: woman.texi
0274b845303e (INFO_TARGETS): Add ../info/woman.
Eli Zaretskii <eliz@gnu.org>
parents: 29350
diff changeset
235 cd $(srcdir); $(MAKEINFO) woman.texi
0274b845303e (INFO_TARGETS): Add ../info/woman.
Eli Zaretskii <eliz@gnu.org>
parents: 29350
diff changeset
236 woman.dvi: woman.texi
0274b845303e (INFO_TARGETS): Add ../info/woman.
Eli Zaretskii <eliz@gnu.org>
parents: 29350
diff changeset
237 $(ENVADD) $(TEXI2DVI) ${srcdir}/woman.texi
0274b845303e (INFO_TARGETS): Add ../info/woman.
Eli Zaretskii <eliz@gnu.org>
parents: 29350
diff changeset
238
32675
4761f4751766 * Makefile.in (Speedbar): Added build targets for speedbar.texi
Eric M. Ludlam <zappo@gnu.org>
parents: 32450
diff changeset
239 ../info/speedbar: speedbar.texi
4761f4751766 * Makefile.in (Speedbar): Added build targets for speedbar.texi
Eric M. Ludlam <zappo@gnu.org>
parents: 32450
diff changeset
240 cd $(srcdir); $(MAKEINFO) speedbar.texi
4761f4751766 * Makefile.in (Speedbar): Added build targets for speedbar.texi
Eric M. Ludlam <zappo@gnu.org>
parents: 32450
diff changeset
241 speedbar.dvi: speedbar.texi
4761f4751766 * Makefile.in (Speedbar): Added build targets for speedbar.texi
Eric M. Ludlam <zappo@gnu.org>
parents: 32450
diff changeset
242 $(ENVADD) $(TEXI2DVI) ${srcdir}/speedbar.texi
31854
581b3eb6ff14 Add emacs-mime.
Dave Love <fx@gnu.org>
parents: 30661
diff changeset
243
581b3eb6ff14 Add emacs-mime.
Dave Love <fx@gnu.org>
parents: 30661
diff changeset
244 ../info/emacs-mime: emacs-mime.texi
581b3eb6ff14 Add emacs-mime.
Dave Love <fx@gnu.org>
parents: 30661
diff changeset
245 cd $(srcdir); $(MAKEINFO) emacs-mime.texi
581b3eb6ff14 Add emacs-mime.
Dave Love <fx@gnu.org>
parents: 30661
diff changeset
246 emacs-mime.dvi: emacs-mime.texi
581b3eb6ff14 Add emacs-mime.
Dave Love <fx@gnu.org>
parents: 30661
diff changeset
247 $(ENVADD) $(TEXI2DVI) ${srcdir}/emacs-mime.texi
581b3eb6ff14 Add emacs-mime.
Dave Love <fx@gnu.org>
parents: 30661
diff changeset
248
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
249 mostlyclean:
36548
ae6f44419d28 (mostlyclean, maintainer-clean): Delete more files.
Gerd Moellmann <gerd@gnu.org>
parents: 36226
diff changeset
250 rm -f *.log *.cp *.fn *.ky *.pg *.vr core *.tp *.core gnustmp.*
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
251
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
252 clean: mostlyclean
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
253 rm -f *.dvi
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
254
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
255 distclean: clean
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
256
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
257 maintainer-clean: distclean
36548
ae6f44419d28 (mostlyclean, maintainer-clean): Delete more files.
Gerd Moellmann <gerd@gnu.org>
parents: 36226
diff changeset
258 rm -f *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc
10686
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
259 # Don't delete these, because they are outside the current directory.
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
260 # for file in $(INFO_TARGETS); do rm -f $${file}*; done
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
261
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
262
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
263 # Formerly this directory had texindex.c and getopt.c in it
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
264 # and this makefile built them to make texindex.
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
265 # 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
266 # Since we expect to get texi2dvi from elsewhere,
535aea7d22a3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
267 # it is ok to expect texindex from elsewhere also.