Added pointer to AUTHORS in debian/copyright.

diff --git a/debian/copyright b/debian/copyright
index 477c4c81f0d15100b26a4e13b9be4d492473521c..9eb311d7163f75a51f268bceec487000cbcf31b9 100644 (file)
--- a/debian/copyright
+++ b/debian/copyright
@@ -6,6 +6,8 @@ It was downloaded from <http://www.mpi-inf.mpg.de/resources/tmo/>.
 Upstream Author:
        Grzegorz Krawczyk <krawczyk@mpi-sb.mpg.de>
 
+       For contributions, see AUTHORS.
+
 Copyright Holders:
        Grzegorz Krawczyk <krawczyk@mpi-sb.mpg.de>
        University of Utah