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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
bb1a01e47d85 Initial revision
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
diff changeset
9
bb1a01e47d85 Initial revision
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
diff changeset
10 unlock:
bb1a01e47d85 Initial revision
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
diff changeset
11 chmod u+w $(SOURCES)
bb1a01e47d85 Initial revision
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
diff changeset
12
bb1a01e47d85 Initial revision
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
diff changeset
13 relock:
bb1a01e47d85 Initial revision
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
diff changeset
14 chmod u-w $(SOURCES)
10053
0c5b5d89288e (eterm): New rule.
Richard M. Stallman <rms@gnu.org>
parents: 6996
diff changeset
15
82774
5c8377e7c2c6 (mostlyclean, clean, distclean, maintainer-clean): Delete these
Glenn Morris <rgm@gnu.org>
parents: 82745
diff changeset
16 ## See e/README.
10053
0c5b5d89288e (eterm): New rule.
Richard M. Stallman <rms@gnu.org>
parents: 6996
diff changeset
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
0c5b5d89288e (eterm): New rule.
Richard M. Stallman <rms@gnu.org>
parents: 6996
diff changeset
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