diff options
| author | Guillem Jover <guillem@debian.org> | 2006-11-01 01:51:21 +0000 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2006-11-01 01:51:21 +0000 |
| commit | 31289b71f4a1d25cedba0880273c6f8db75075d6 (patch) | |
| tree | f48f2b9713c4103e48122d6a4618462f59c09753 /debian/copyright | |
| parent | be37238e3eb41075a981e33530cd26c666e53552 (diff) | |
Document the removal of the non-free GFDL manual in debian/copyright.
Diffstat (limited to 'debian/copyright')
| -rw-r--r-- | debian/copyright | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/copyright b/debian/copyright index 2a4c449..c6ecfae 100644 --- a/debian/copyright +++ b/debian/copyright @@ -19,6 +19,9 @@ License statement: Please look at the source files for individual copyrights. They are covered by either of the following copyrights: +The doc/ directory contained the manual which was under the GFDL, and was +thus removed from the original tarball, and it repacked. + Most of these files are licensed under the following terms: Mach Operating System |