annotate doc/emacs/makefile.w32-in @ 112397:a7191495c39c

Include entries from yesterdays checkins that were in an unsaved buffer.
author Ken Manheimer <ken.manheimer@gmail.com>
date Fri, 21 Jan 2011 11:36:24 -0500
parents 417b1e4d63cd
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
84278
a63122b82199 (infodir): Go up one more level.
Glenn Morris <rgm@gnu.org>
parents: 84254
diff changeset
1 #### -*- Makefile -*- for the Emacs Manual
84254
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2
112218
376148b31b5e Add 2011 to FSF/AIST copyright years.
Glenn Morris <rgm@gnu.org>
parents: 106815
diff changeset
3 # Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011
87912
7dd7dd2c3afb Add 2008 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 84278
diff changeset
4 # Free Software Foundation, Inc.
84254
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 # This file is part of GNU Emacs.
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7
95036
76cbdd481eaf Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 91596
diff changeset
8 # GNU Emacs is free software: you can redistribute it and/or modify
84254
5e6446f4578e 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
95036
76cbdd481eaf Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 91596
diff changeset
10 # the Free Software Foundation, either version 3 of the License, or
76cbdd481eaf Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 91596
diff changeset
11 # (at your option) any later version.
84254
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12
5e6446f4578e 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,
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 # but WITHOUT ANY WARRANTY; without even the implied warranty of
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 # GNU General Public License for more details.
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17
5e6446f4578e 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
95036
76cbdd481eaf Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 91596
diff changeset
19 # along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
76cbdd481eaf Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 91596
diff changeset
20
84254
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22 # Where to find the source code. The source code for Emacs's C kernel is
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 # expected to be in $(srcdir)/src, and the source code for Emacs's
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 # utility programs is expected to be in $(srcdir)/lib-src. This is
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 # set by the configure script's `--srcdir' option.
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 srcdir=.
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27
84278
a63122b82199 (infodir): Go up one more level.
Glenn Morris <rgm@gnu.org>
parents: 84254
diff changeset
28 infodir = $(srcdir)/../../info
84254
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30 # The makeinfo program is part of the Texinfo distribution.
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31 MAKEINFO = makeinfo --force
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
32 MULTI_INSTALL_INFO = $(srcdir)\..\..\nt\multi-install-info.bat
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33 INFO_TARGETS = $(infodir)/emacs
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34 DVI_TARGETS = emacs.dvi
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35 INFOSOURCES = info.texi
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37 # The following rule does not work with all versions of `make'.
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 .SUFFIXES: .texi .dvi
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
39 .texi.dvi:
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
40 texi2dvi $<
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
41
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42 TEXI2DVI = texi2dvi
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
43 ENVADD = $(srcdir)\..\..\nt\envadd.bat "TEXINPUTS=$(srcdir);$(TEXINPUTS)" \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44 "MAKEINFO=$(MAKEINFO) -I$(srcdir)" /C
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
46 EMACS_XTRA=\
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
47 $(srcdir)/arevert-xtra.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48 $(srcdir)/cal-xtra.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
49 $(srcdir)/dired-xtra.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
50 $(srcdir)/picture-xtra.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51 $(srcdir)/emerge-xtra.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52 $(srcdir)/vc-xtra.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
53 $(srcdir)/vc1-xtra.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
54 $(srcdir)/fortran-xtra.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
55 $(srcdir)/msdog-xtra.texi
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
57 EMACSSOURCES= \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
58 $(srcdir)/emacs.texi \
110895
b803c876a460 Fix building manuals on MS-Windows using emacsver.texi.
Eli Zaretskii <eliz@gnu.org>
parents: 106815
diff changeset
59 $(srcdir)/emacsver.texi \
84254
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60 $(srcdir)/doclicense.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 $(srcdir)/screen.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62 $(srcdir)/commands.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 $(srcdir)/entering.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 $(srcdir)/basic.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65 $(srcdir)/mini.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 $(srcdir)/m-x.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67 $(srcdir)/help.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68 $(srcdir)/mark.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 $(srcdir)/killing.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70 $(srcdir)/regs.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 $(srcdir)/display.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
72 $(srcdir)/search.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73 $(srcdir)/fixit.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
74 $(srcdir)/files.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
75 $(srcdir)/buffers.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76 $(srcdir)/windows.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77 $(srcdir)/frames.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
78 $(srcdir)/mule.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
79 $(srcdir)/major.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
80 $(srcdir)/indent.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
81 $(srcdir)/text.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
82 $(srcdir)/programs.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83 $(srcdir)/building.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
84 $(srcdir)/maintaining.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
85 $(srcdir)/abbrevs.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
86 $(srcdir)/sending.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
87 $(srcdir)/rmail.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
88 $(srcdir)/dired.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
89 $(srcdir)/calendar.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
90 $(srcdir)/misc.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
91 $(srcdir)/custom.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
92 $(srcdir)/trouble.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
93 $(srcdir)/cmdargs.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
94 $(srcdir)/xresources.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
95 $(srcdir)/anti.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
96 $(srcdir)/macos.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
97 $(srcdir)/msdog.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
98 $(srcdir)/gnu.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
99 $(srcdir)/glossary.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
100 $(srcdir)/ack.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
101 $(srcdir)/kmacro.texi \
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
102 $(EMACS_XTRA)
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
103
91596
ca1ad240902b Revert last change
Jason Rumney <jasonr@gnu.org>
parents: 91540
diff changeset
104 info: $(INFO_TARGETS)
84254
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
105
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
106 dvi: $(DVI_TARGETS)
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
107
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
108 # Note that all the Info targets build the Info files
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
109 # in srcdir. There is no provision for Info files
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
110 # to exist in the build directory.
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
111 # In a distribution of Emacs, the Info files should be up to date.
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
112
91596
ca1ad240902b Revert last change
Jason Rumney <jasonr@gnu.org>
parents: 91540
diff changeset
113 $(infodir)/dir:
84254
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
114 $(MULTI_INSTALL_INFO) --info-dir=$(infodir) $(INFO_TARGETS)
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
115
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
116 $(infodir)/emacs: $(EMACSSOURCES)
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
117 $(MAKEINFO) emacs.texi
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
118
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
119 emacs.dvi: $(EMACSSOURCES)
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
120 $(ENVADD) $(TEXI2DVI) $(srcdir)/emacs.texi
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
121
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
122 emacs-xtra.dvi: emacs-xtra.texi $(EMACS_XTRA)
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
123 $(ENVADD) $(TEXI2DVI) $(srcdir)/emacs-xtra.texi
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
124
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
125 mostlyclean:
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
126 - $(DEL) *.log *.cp *.fn *.ky *.pg *.vr core *.tp *.core gnustmp.*
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
127
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
128 clean: mostlyclean
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
129 - $(DEL) *.dvi
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
130 - $(DEL) $(infodir)/emacs*
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
131
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
132 distclean: clean
96102
f9a8fb174706 (distclean): Remove makefile.
Eli Zaretskii <eliz@gnu.org>
parents: 95036
diff changeset
133 - $(DEL) makefile
84254
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
134
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
135 maintainer-clean: distclean
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
136 - $(DEL) *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
137 # Don't delete these, because they are outside the current directory.
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
138 # for file in $(INFO_TARGETS); do rm -f $${file}*; done
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
139
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
140
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
141 # Formerly this directory had texindex.c and getopt.c in it
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
142 # and this makefile built them to make texindex.
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
143 # That caused trouble because this is run entirely in the source directory.
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
144 # Since we expect to get texi2dvi from elsewhere,
5e6446f4578e Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
145 # it is ok to expect texindex from elsewhere also.