diff options
| author | Phillip Lord <phillip.lord@russet.org.uk> | 2017-03-07 13:25:45 +0000 |
|---|---|---|
| committer | Phillip Lord <phillip.lord@russet.org.uk> | 2017-03-07 13:49:48 +0000 |
| commit | 542a763281347b026b6714483299a108a8c3b9c2 (patch) | |
| tree | 409e48faaec350983a446e450c9b434e14c5958e /admin/notes | |
| parent | e37bfd41546f515cfef1f8d2c64df2dccac18a86 (diff) | |
| download | emacs-542a763281347b026b6714483299a108a8c3b9c2.tar.gz | |
Revert "Replace ldefs-boot with a much smaller file"
This reverts commit c27b645956a11fab1dd8fa189254d525390958f5.
This commit has been reverted because the new mechanism was too
sensitive to changes in the lisp source, generation of new ldefs-boot
files was platform specific and resulted in warnings about undefined
variables.
See also 11436e2890d.
Diffstat (limited to 'admin/notes')
| -rw-r--r-- | admin/notes/copyright | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/admin/notes/copyright b/admin/notes/copyright index bc427d6bdf3..16144fb8528 100644 --- a/admin/notes/copyright +++ b/admin/notes/copyright @@ -45,9 +45,9 @@ available. The definition of triviality is a little vague, but a rule of thumb is that any file with less than 15 lines of actual content is trivial. If -a file is auto-generated from another one in the repository, then it -does not really matter about adding a copyright statement to the -generated file. +a file is auto-generated (eg ldefs-boot.el) from another one in the +repository, then it does not really matter about adding a copyright +statement to the generated file. Legal advice says that we could, if we wished, put a license notice even in trivial files, because copyright law in general looks at the |