annotate msdos/README @ 112210:43d75ad47207

* lisp/progmodes/prolog.el: Use syntax-propertize. Further code cleanup. (prolog-use-prolog-tokenizer-flag): Change default when syntax-propertize can be used. (prolog-syntax-propertize-function): New var. (prolog-mode-variables): Move make-local-variable into `set'. Don't make comment-column local since we don't set it. Set comment-add (as it was in previous prolog.el). Use dolist. Set syntax-propertize-function. (prolog-mode, prolog-inferior-mode): Call prolog(-inferior)-menu directly, not through the mode-hook. (prolog-buffer-module, prolog-indent-level) (prolog-paren-is-the-first-on-line-p, prolog-paren-balance) (prolog-comment-limits, prolog-goto-comment-column): Use line-(end|beginning)-position. (prolog-build-prolog-command): Tighten up regexp. (prolog-consult-compile): Move make-local-variable into `set'. (prolog-consult-compile-filter, prolog-goto-next-paren) (prolog-help-on-predicate, prolog-clause-info) (prolog-mark-predicate): Don't let+setq. (prolog-indent-line): Use indent-line-to. Only call prolog-goto-comment-column if necessary. (prolog-indent-level): Use bobp. (prolog-first-pos-on-line): Remove, not used any more. (prolog-in-string-or-comment): Use syntax-ppss if available. (prolog-help-on-predicate): Use read-string. (prolog-goto-predicate-info): Simplify. (prolog-read-predicate): Use `default' rather than `initial'. (prolog-temporary-file): Use make-temp-file to close a security hole. (prolog-toggle-sicstus-sd): New command. (prolog-electric-underscore, prolog-variables-to-anonymous): Use dynamic-scoping as it was meant. (prolog-menu): Move menu definitions to top-level. Use a toggle-button for Sicstus's source debugger. Change "Code" to the more usual "Prolog", and hence change "Prolog" to "System". (prolog-inferior-menu): Reuse prolog-menu's help menu. Move other menu definition to top-level.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Thu, 13 Jan 2011 15:46:38 -0500
parents 1d1d5d9bd884
children 376148b31b5e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
106815
1d1d5d9bd884 Add 2010 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 100956
diff changeset
1 Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010
75771
8538b6d4f95a Add copyright and license notices.
Glenn Morris <rgm@gnu.org>
parents: 75759
diff changeset
2 Free Software Foundation, Inc.
8538b6d4f95a Add copyright and license notices.
Glenn Morris <rgm@gnu.org>
parents: 75759
diff changeset
3 See the end of the file for license conditions.
8538b6d4f95a Add copyright and license notices.
Glenn Morris <rgm@gnu.org>
parents: 75759
diff changeset
4
8538b6d4f95a Add copyright and license notices.
Glenn Morris <rgm@gnu.org>
parents: 75759
diff changeset
5
36461
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
6 This directory contains scripts for building the DJGPP (a.k.a. MS-DOS)
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
7 version of Emacs, and other files useful for running that version of
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
8 Emacs.
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
9
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
10 The files emacs.ico and emacs.pif are for using the DJGPP version on
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
11 Windows 3.X. Since these are binary files, their copyright notice is
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
12 reproduced here:
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
13
68648
067115a6e738 Update years in copyright notice; nfc.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents: 64890
diff changeset
14 # Copyright (C) 1993, 2002, 2003, 2004, 2005,
106815
1d1d5d9bd884 Add 2010 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 100956
diff changeset
15 # 2006, 2007, 2008, 2009, 2010 Free Software Foundation, Inc.
36461
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
16 #
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
17 # This file is part of GNU Emacs.
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
18 #
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
19 # This file is free software; as a special exception, the author gives
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
20 # unlimited permission to copy and/or distribute it, with or without
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
21 # modifications, as long as this notice is preserved.
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
22 #
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
23 # This program is distributed in the hope that it will be useful,
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
24 # but WITHOUT ANY WARRANTY; without even the implied warranty of
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
25 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
26 #
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
27 # ----------------------------------------------------------------------
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
28
75759
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
29
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
30 NOTE ON THE LEGAL STATUS OF THE FILES IS_EXEC.C, SIGACTION.C
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
31
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
32 As distributed with GNU Emacs, the files is_exec.c and sigaction.c are
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
33 Copyright (C) 1995 DJ Delorie, and are licensed under the terms of the
78311
2464f9ce3ddd Switch license to GPLv3 or later.
Glenn Morris <rgm@gnu.org>
parents: 78247
diff changeset
34 GNU General Public License version 3 (see COPYING), or (at your
2464f9ce3ddd Switch license to GPLv3 or later.
Glenn Morris <rgm@gnu.org>
parents: 78247
diff changeset
35 option) any later version.
75759
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
36
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
37 Here we record the details of the legal history of these files.
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
38
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
39 The files is_exec.c and sigaction.c were originally part of DJGPP,
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
40 distributed by DJ Delorie. The versions of these files in DJGPP
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
41 contain the following license notice:
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
42
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
43 Copyright (C) 1995 DJ Delorie, see COPYING.DJ for details
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
44
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
45 The contents of the file COPYING.DJ (as available at, for example, the
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
46 URL: <http://www.delorie.com/bin/cvsweb.cgi/djgpp/copying.dj>) are as
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
47 follows:
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
48
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
49 -- COPYING.DJ STARTS HERE --
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
50
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
51 This is the file "COPYING.DJ". It does NOT apply to any sources or
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
52 binaries copyrighted by UCB Berkeley, the Free Software Foundation, or
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
53 any other agency besides DJ Delorie and others who have agreed to
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
54 allow their sources to be distributed under these terms.
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
55
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
56 Copyright Information for sources and executables that are marked
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
57 Copyright (C) DJ Delorie
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
58 334 North Rd
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
59 Deerfield NH 03037-1110
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
60
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
61 This document is Copyright (C) DJ Delorie and may be distributed
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
62 verbatim, but changing it is not allowed.
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
63
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
64 Source code copyright DJ Delorie is distributed under the terms of the
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
65 GNU General Public Licence, with the following exceptions:
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
66
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
67 * Sources used to build crt0.o, gcrt0.o, libc.a, libdbg.a, and
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
68 libemu.a are distributed under the terms of the GNU Library General
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
69 Public License, rather than the GNU GPL.
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
70
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
71 * Any existing copyright or authorship information in any given source
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
72 file must remain intact. If you modify a source file, a notice to that
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
73 effect must be added to the authorship information in the source file.
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
74
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
75 * Runtime binaries, as provided by DJ in DJGPP, may be distributed
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
76 without sources ONLY if the recipient is given sufficient information
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
77 to obtain a copy of djgpp themselves. This primarily applies to
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
78 go32-v2.exe, emu387.dxe, and stubedit.exe.
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
79
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
80 * Runtime objects and libraries, as provided by DJ in DJGPP, when
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
81 linked into an application, may be distributed without sources ONLY
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
82 if the recipient is given sufficient information to obtain a copy of
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
83 djgpp themselves. This primarily applies to crt0.o and libc.a.
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
84
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
85 -----
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
86
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
87 Changes to source code copyright BSD, FSF, or others, by DJ Delorie
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
88 fall under the terms of the original copyright. Such files usually
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
89 have multiple copyright notices in them.
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
90
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
91 A copy of the files "COPYING" and "COPYING.LIB" are included with this
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
92 document. If you did not receive a copy of these files, you may
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
93 obtain one from whence this document was obtained, or by writing:
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
94
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
95 Free Software Foundation, Inc.
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
96 51 Franklin Street,
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
97 Fifth Floor,
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
98 Boston, MA 02110-1301,
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
99 USA
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
100
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
101 -- COPYING.DJ ENDS HERE --
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
102
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
103 Both is_exec.c and sigaction.c are parts of DJGPP's libc.a, therefore
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
104 according to exception 1 in the above terms their "base" license is
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
105 the GNU Library General Public License [now known as the GNU Lesser
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
106 General Public License].
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
107
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
108 The terms of the GNU LGPL, specifically clause 3, which begins:
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
109
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
110 3. You may opt to apply the terms of the ordinary GNU General
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
111 Public License instead of this License to a given copy of the
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
112 Library.
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
113
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
114 permit us to relicense the files is_exec.c and sigaction.c as used in
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
115 GNU Emacs under the terms of the GNU GPL.
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
116
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
117 COPYING.DJ, however, lists extra exceptions 2-4 to the GNU licenses.
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
118 Items 3 and 4 are not relevant in the case of GNU Emacs, since they
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
119 can only apply to copies of DJGPP [confirmed by email from DJ Delorie
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
120 to rms at gnu.org and others, 2007/01/31].
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
121
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
122 Exception 2 of COPYING.DJ, when viewed as an added restriction, rather
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
123 than as an interpretation of the GPL, leads to problems. The added
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
124 requirement makes the overall license of the file incompatible with
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
125 the GNU GPL.
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
126
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
127 As a solution to this problem, DJ Delorie has kindly granted (February
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
128 2007) GNU Emacs an exception, and permits us to license the files
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
129 is_exec.c and sigaction.c solely under the terms of the GNU GPL. This
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
130 exception applies _only_ to these files as distributed with GNU Emacs.
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
131 This solution was arrived at in an email discussion between DJ Delorie
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
132 <dj at delorie.com> and Richard Stallman <rms at gnu.org> in
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
133 January/February 2007. We record below a summary of the relevant final
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
134 email in this discussion:
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
135
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
136 From: DJ Delorie <dj at delorie.com>
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
137 To: rms at gnu.org
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
138 Subject: Re: COPYING.DJ and Emacsn
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
139
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
140 I have no problem with whatever you wish to do with those files in
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
141 emacs (as long as djgpp itself doesn't need to change).
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
142
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
143
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
144 Accordingly, in February 2007 we relicensed the files is_exec.c and
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
145 sigaction.c as used in GNU Emacs under the GNU GPL.
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
146
974860245cbc Add notes on the legal status of is_exec.c and sigaction.c.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
147 Copies of both the GNU General Public License and GNU Lesser (Library)
94790
fa41f74280f5 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 79742
diff changeset
148 Public License may be obtained from <http://www.gnu.org/licenses/>, or:
fa41f74280f5 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 79742
diff changeset
149 the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
fa41f74280f5 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 79742
diff changeset
150 Boston, MA 02110-1301, USA.
75771
8538b6d4f95a Add copyright and license notices.
Glenn Morris <rgm@gnu.org>
parents: 75759
diff changeset
151
8538b6d4f95a Add copyright and license notices.
Glenn Morris <rgm@gnu.org>
parents: 75759
diff changeset
152
8538b6d4f95a Add copyright and license notices.
Glenn Morris <rgm@gnu.org>
parents: 75759
diff changeset
153 This file is part of GNU Emacs.
8538b6d4f95a Add copyright and license notices.
Glenn Morris <rgm@gnu.org>
parents: 75759
diff changeset
154
94790
fa41f74280f5 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 79742
diff changeset
155 GNU Emacs is free software: you can redistribute it and/or modify
75771
8538b6d4f95a Add copyright and license notices.
Glenn Morris <rgm@gnu.org>
parents: 75759
diff changeset
156 it under the terms of the GNU General Public License as published by
94790
fa41f74280f5 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 79742
diff changeset
157 the Free Software Foundation, either version 3 of the License, or
fa41f74280f5 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 79742
diff changeset
158 (at your option) any later version.
75771
8538b6d4f95a Add copyright and license notices.
Glenn Morris <rgm@gnu.org>
parents: 75759
diff changeset
159
8538b6d4f95a Add copyright and license notices.
Glenn Morris <rgm@gnu.org>
parents: 75759
diff changeset
160 GNU Emacs is distributed in the hope that it will be useful,
8538b6d4f95a Add copyright and license notices.
Glenn Morris <rgm@gnu.org>
parents: 75759
diff changeset
161 but WITHOUT ANY WARRANTY; without even the implied warranty of
8538b6d4f95a Add copyright and license notices.
Glenn Morris <rgm@gnu.org>
parents: 75759
diff changeset
162 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
8538b6d4f95a Add copyright and license notices.
Glenn Morris <rgm@gnu.org>
parents: 75759
diff changeset
163 GNU General Public License for more details.
8538b6d4f95a Add copyright and license notices.
Glenn Morris <rgm@gnu.org>
parents: 75759
diff changeset
164
8538b6d4f95a Add copyright and license notices.
Glenn Morris <rgm@gnu.org>
parents: 75759
diff changeset
165 You should have received a copy of the GNU General Public License
94790
fa41f74280f5 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 79742
diff changeset
166 along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.