annotate doc/emacs/Makefile.in @ 87911:04d74bde81a8

Add 2008 to copyright years.
author Glenn Morris <rgm@gnu.org>
date Wed, 23 Jan 2008 05:49:16 +0000
parents 4d1a7898a1ff
children 76cbdd481eaf
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
84276
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
1 #### Makefile for the Emacs Manual
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 # Copyright (C) 1994, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
87911
04d74bde81a8 Add 2008 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 84276
diff changeset
4 # 2004, 2005, 2006, 2007, 2008 Free Software Foundation, Inc.
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 # This file is part of GNU Emacs.
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8 # GNU Emacs is free software; you can redistribute it and/or modify
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 # it under the terms of the GNU General Public License as published by
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 # the Free Software Foundation; either version 3, or (at your option)
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11 # any later version.
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13 # GNU Emacs is distributed in the hope that it will be useful,
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 # but WITHOUT ANY WARRANTY; without even the implied warranty of
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 # GNU General Public License for more details.
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 # You should have received a copy of the GNU General Public License
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 # along with GNU Emacs; see the file COPYING. If not, write to
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20 # the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21 # Boston, MA 02110-1301, USA.
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 # Where to find the source code. $(srcdir) will be the man
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 # subdirectory of the source tree. This is
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 # set by the configure script's `--srcdir' option.
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 srcdir=@srcdir@
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27 top_srcdir=@top_srcdir@
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29 # Tell make where to find source files; this is needed for the makefiles.
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30 VPATH=@srcdir@
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31
84276
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
32 ## Where the output files go.
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
33 ## Note that the setfilename command in the .texi files assumes this.
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
34 infodir=../../info
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36 # The makeinfo program is part of the Texinfo distribution.
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37 # Use --force so that it generates output even if there are errors.
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 MAKEINFO = makeinfo --force
84276
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
39
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
40 INFO_TARGETS = $(infodir)/emacs
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
41 DVI_TARGETS = emacs.dvi
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
42
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
43
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
44 TEXI2DVI = texi2dvi
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
46 # The following rule does not work with all versions of `make'.
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
47 .SUFFIXES: .texi .dvi
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48 .texi.dvi:
84276
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
49 $(TEXI2DVI) $<
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
50
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51 ENVADD = TEXINPUTS="$(srcdir):$(TEXINPUTS)" MAKEINFO="$(MAKEINFO) -I$(srcdir)"
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52
84276
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
53
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
54 EMACS_XTRA=\
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
55 $(srcdir)/arevert-xtra.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56 $(srcdir)/cal-xtra.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
57 $(srcdir)/dired-xtra.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
58 $(srcdir)/picture-xtra.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
59 $(srcdir)/emerge-xtra.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60 $(srcdir)/vc-xtra.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 $(srcdir)/vc1-xtra.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62 $(srcdir)/vc2-xtra.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 $(srcdir)/fortran-xtra.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 $(srcdir)/msdog-xtra.texi
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 EMACSSOURCES= \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67 ${srcdir}/emacs.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68 ${srcdir}/doclicense.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 ${srcdir}/gpl.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70 ${srcdir}/screen.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 ${srcdir}/commands.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
72 ${srcdir}/entering.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73 ${srcdir}/basic.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
74 ${srcdir}/mini.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
75 ${srcdir}/m-x.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76 ${srcdir}/help.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77 ${srcdir}/mark.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
78 ${srcdir}/killing.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
79 ${srcdir}/regs.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
80 ${srcdir}/display.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
81 ${srcdir}/search.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
82 ${srcdir}/fixit.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83 ${srcdir}/files.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
84 ${srcdir}/buffers.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
85 ${srcdir}/windows.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
86 ${srcdir}/frames.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
87 ${srcdir}/mule.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
88 ${srcdir}/major.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
89 ${srcdir}/indent.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
90 ${srcdir}/text.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
91 ${srcdir}/programs.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
92 ${srcdir}/building.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
93 ${srcdir}/maintaining.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
94 ${srcdir}/abbrevs.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
95 ${srcdir}/sending.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
96 ${srcdir}/rmail.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
97 ${srcdir}/dired.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
98 ${srcdir}/calendar.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
99 ${srcdir}/misc.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
100 ${srcdir}/custom.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
101 ${srcdir}/trouble.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
102 ${srcdir}/cmdargs.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
103 ${srcdir}/xresources.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
104 ${srcdir}/anti.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
105 ${srcdir}/macos.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
106 ${srcdir}/msdog.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
107 ${srcdir}/gnu.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
108 ${srcdir}/glossary.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
109 ${srcdir}/ack.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
110 ${srcdir}/kmacro.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
111 $(EMACS_XTRA)
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
112
84276
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
113 info: $(infodir) $(INFO_TARGETS)
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
114
84276
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
115 $(infodir):
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
116 mkdir $@
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
117
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
118 dvi: $(DVI_TARGETS)
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
119
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
120 # Note that all the Info targets build the Info files
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
121 # in srcdir. There is no provision for Info files
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
122 # to exist in the build directory.
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
123 # In a distribution of Emacs, the Info files should be up to date.
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
124
84276
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
125 emacs : $(infodir)/emacs
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
126
84276
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
127 $(infodir)/emacs: ${EMACSSOURCES}
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
128 cd $(srcdir); $(MAKEINFO) emacs.texi
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
129
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
130 emacs.dvi: ${EMACSSOURCES}
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
131 $(ENVADD) $(TEXI2DVI) ${srcdir}/emacs.texi
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
132
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
133
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
134 emacs-xtra.dvi: emacs-xtra.texi $(EMACS_XTRA)
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
135 $(ENVADD) $(TEXI2DVI) ${srcdir}/emacs-xtra.texi
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
136
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
137
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
138 mostlyclean:
84276
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
139 rm -f *.log *.cp *.fn *.ky *.op *.ops *.pg *.vr core *.tp *.core
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
140 rm -f *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
141
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
142 clean: mostlyclean
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
143 rm -f *.dvi
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
144
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
145 distclean: clean
84276
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
146 # rm -f Makefile
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
147
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
148 maintainer-clean: distclean
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
149 for file in $(INFO_TARGETS); do rm -f $${file}*; done
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
150
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
151
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
152 # Formerly this directory had texindex.c and getopt.c in it
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
153 # and this makefile built them to make texindex.
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
154 # That caused trouble because this is run entirely in the source directory.
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
155 # Since we expect to get texi2dvi from elsewhere,
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
156 # it is ok to expect texindex from elsewhere also.
84276
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
157
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
158
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
159 ### Makefile ends here