Mercurial > emacs
annotate etc/Makefile @ 83925:139439760303
Move to ../doc/lispintro
author | Glenn Morris <rgm@gnu.org> |
---|---|
date | Thu, 06 Sep 2007 03:57:31 +0000 |
parents | 5c8377e7c2c6 |
children | 7d66dc1c05f4 b83d0dadb2a7 |
rev | line source |
---|---|
82774
5c8377e7c2c6
(mostlyclean, clean, distclean, maintainer-clean): Delete these
Glenn Morris <rgm@gnu.org>
parents:
82745
diff
changeset
|
1 ### Makefile for Emacs etc/ directory. |
76683
d3f3c39adbcd
(DESTDIR, LIBDIR, BINDIR, MANDIR, MANEXT): Delete
Glenn Morris <rgm@gnu.org>
parents:
76460
diff
changeset
|
2 |
82774
5c8377e7c2c6
(mostlyclean, clean, distclean, maintainer-clean): Delete these
Glenn Morris <rgm@gnu.org>
parents:
82745
diff
changeset
|
3 .PHONY: unlock relock |
76683
d3f3c39adbcd
(DESTDIR, LIBDIR, BINDIR, MANDIR, MANEXT): Delete
Glenn Morris <rgm@gnu.org>
parents:
76460
diff
changeset
|
4 |
82774
5c8377e7c2c6
(mostlyclean, clean, distclean, maintainer-clean): Delete these
Glenn Morris <rgm@gnu.org>
parents:
82745
diff
changeset
|
5 ## All non-directory files, if that matters. |
5c8377e7c2c6
(mostlyclean, clean, distclean, maintainer-clean): Delete these
Glenn Morris <rgm@gnu.org>
parents:
82745
diff
changeset
|
6 SOURCES = [A-Z]* *.* *-* e/* refcards/* tutorials/* \ |
5c8377e7c2c6
(mostlyclean, clean, distclean, maintainer-clean): Delete these
Glenn Morris <rgm@gnu.org>
parents:
82745
diff
changeset
|
7 images/README images/*.* images/*/README images/*/*.* \ |
5c8377e7c2c6
(mostlyclean, clean, distclean, maintainer-clean): Delete these
Glenn Morris <rgm@gnu.org>
parents:
82745
diff
changeset
|
8 images/*/*/README images/*/*/*.* |
2260 | 9 |
10 unlock: | |
11 chmod u+w $(SOURCES) | |
12 | |
13 relock: | |
14 chmod u-w $(SOURCES) | |
10053 | 15 |
82774
5c8377e7c2c6
(mostlyclean, clean, distclean, maintainer-clean): Delete these
Glenn Morris <rgm@gnu.org>
parents:
82745
diff
changeset
|
16 ## See e/README. |
10053 | 17 TIC=tic |
66243
a4a7460bb10b
(e/eterm-color): Rename eterm to eterm-color.
Eli Zaretskii <eliz@gnu.org>
parents:
52401
diff
changeset
|
18 e/eterm-color: e/eterm-color.ti |
a4a7460bb10b
(e/eterm-color): Rename eterm to eterm-color.
Eli Zaretskii <eliz@gnu.org>
parents:
52401
diff
changeset
|
19 TERMINFO=`pwd`; export TERMINFO; $(TIC) e/eterm-color.ti |
10053 | 20 |
76683
d3f3c39adbcd
(DESTDIR, LIBDIR, BINDIR, MANDIR, MANEXT): Delete
Glenn Morris <rgm@gnu.org>
parents:
76460
diff
changeset
|
21 ## arch-tag: 4261f003-cf77-4478-a10a-5284e9d8f797 |
d3f3c39adbcd
(DESTDIR, LIBDIR, BINDIR, MANDIR, MANEXT): Delete
Glenn Morris <rgm@gnu.org>
parents:
76460
diff
changeset
|
22 ### Makefile ends here |