Mercurial > emacs
annotate doc/lispintro/Makefile.in @ 110786:9a3ce1aa9d45
Minor doc/*/Makefile.in change.
* doc/emacs/Makefile.in ($(infodir)): Add parallel build workaround.
* doc/lispintro/Makefile.in ($(infodir)): Add parallel build workaround.
* doc/lispref/Makefile.in ($(infodir)): Add parallel build workaround.
* doc/misc/Makefile.in ($(infodir)): Add parallel build workaround.
author | Glenn Morris <rgm@gnu.org> |
---|---|
date | Tue, 05 Oct 2010 21:20:46 -0700 |
parents | 664402ada542 |
children | bacdf2d96735 |
rev | line source |
---|---|
83942 | 1 #### Makefile for the Emacs Lisp Introduction manual |
2 | |
105775 | 3 # Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2001, 2002, 2003, |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
4 # 2004, 2005, 2006, 2007, 2008, 2009, 2010 |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
5 # Free Software Foundation, Inc. |
83942 | 6 |
7 # This file is part of GNU Emacs. | |
8 | |
95034
38ec81da0a8b
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
87649
diff
changeset
|
9 # GNU Emacs is free software: you can redistribute it and/or modify |
83942 | 10 # it under the terms of the GNU General Public License as published by |
95034
38ec81da0a8b
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
87649
diff
changeset
|
11 # the Free Software Foundation, either version 3 of the License, or |
38ec81da0a8b
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
87649
diff
changeset
|
12 # (at your option) any later version. |
83942 | 13 |
14 # GNU Emacs is distributed in the hope that it will be useful, | |
15 # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
16 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
17 # GNU General Public License for more details. | |
18 | |
19 # You should have received a copy of the GNU General Public License | |
95034
38ec81da0a8b
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
87649
diff
changeset
|
20 # along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. |
38ec81da0a8b
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
87649
diff
changeset
|
21 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
22 SHELL = /bin/sh |
83942 | 23 |
24 srcdir = @srcdir@ | |
25 VPATH = @srcdir@ | |
26 | |
83964
ff69de2569e6
(infodir): Go up one more level.
Glenn Morris <rgm@gnu.org>
parents:
83942
diff
changeset
|
27 infodir = ../../info |
103790
649949326c56
(texinfodir): Rename from usermanualdir, and update.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
28 # Directory with the (customized) texinfo.tex file. |
649949326c56
(texinfodir): Rename from usermanualdir, and update.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
29 texinfodir = $(srcdir)/../misc |
83942 | 30 |
31 MAKEINFO = makeinfo | |
32 TEXI2DVI = texi2dvi | |
105775 | 33 TEXI2PDF = texi2pdf |
83942 | 34 DVIPS = dvips |
35 | |
36 .SUFFIXES: .dvi .ps .texi | |
37 | |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
38 info: ${infodir}/eintr |
83942 | 39 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
40 $(infodir): |
110786
9a3ce1aa9d45
Minor doc/*/Makefile.in change.
Glenn Morris <rgm@gnu.org>
parents:
110781
diff
changeset
|
41 mkdir $@ || test -d $@ |
83942 | 42 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
43 dvi: emacs-lisp-intro.dvi |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
44 html: emacs-lisp-intro.html |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
45 pdf: emacs-lisp-intro.pdf |
83942 | 46 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
47 # The file name eintr must fit within 5 characters, to allow for |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
48 # -NN extensions to fit into DOS 8+3 limits without clashing. |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
49 ${infodir}/eintr: $(infodir) ${srcdir}/emacs-lisp-intro.texi |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
50 cd $(srcdir); $(MAKEINFO) emacs-lisp-intro.texi -o $@ |
83942 | 51 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
52 emacs-lisp-intro.dvi: ${srcdir}/emacs-lisp-intro.texi |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
53 $(TEXI2DVI) -I $(srcdir) -I $(texinfodir) $^ |
105775 | 54 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
55 emacs-lisp-intro.pdf: ${srcdir}/emacs-lisp-intro.texi |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
56 $(TEXI2PDF) -I $(srcdir) -I $(texinfodir) $^ |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
57 |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
58 emacs-lisp-intro.html: ${srcdir}/emacs-lisp-intro.texi |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
59 $(MAKEINFO) --html -o $@ $^ |
83942 | 60 |
61 .dvi.ps: | |
62 $(DVIPS) $< -o $@ | |
63 | |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
64 .PHONY: mostlyclean clean distclean maintainer-clean infoclean |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
65 |
83942 | 66 mostlyclean: |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
67 rm -f *.aux *.log *.toc *.cp *.cps *.fn *.fns *.ky *.kys \ |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
68 *.op *.ops *.pg *.pgs *.tp *.tps *.vr *.vrs |
83942 | 69 |
70 clean: mostlyclean | |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
71 rm -f emacs-lisp-intro.dvi emacs-lisp-intro.pdf |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
72 rm -rf emacs-lisp-intro.html/ |
83942 | 73 |
74 distclean: clean | |
75 | |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
76 infoclean: |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
77 -cd $(infodir) && rm -f eintr eintr-[1-9] |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
78 |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
79 maintainer-clean: distclean infoclean |
83942 | 80 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
81 dist: |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
82 rm -rf lispintro |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
83 mkdir lispintro |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
84 cp ${srcdir}/*.texi ${srcdir}/*.eps ${srcdir}/*.pdf \ |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
85 ${texinfodir}/texinfo.tex \ |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
86 ${srcdir}/ChangeLog* ${srcdir}/README lispintro/ |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
87 sed -e 's/@sr[c]dir@/./' -e 's/\(texinfodir *=\).*/\1 ./' \ |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
88 -e 's/\(infodir *=\).*/\1 ./' -e 's/^\(clean:.*\)/\1 infoclean/' \ |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
89 ${srcdir}/Makefile.in > lispintro/Makefile |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
90 tar -cf emacs-lisp-intro-texi.tar lispintro |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
91 rm -rf lispintro |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
92 |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
93 ### Makefile ends here |