diff --git a/.gitattributes b/.gitattributes
index 1b6a1ec582c19f604a2390ea5666d33d2a43bf60..866a5d412475e37a6e693be53f660add8d7cceb9 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -240,6 +240,7 @@ testfont binary
 /src/encode.c foreign_ident
 /src/encode.h foreign_ident
 /src/error.c foreign_ident
+/src/export_list foreign_ident
 /src/fd_control.c foreign_ident
 /src/fd_control.h foreign_ident
 /src/fdlib.c foreign_ident
diff --git a/src/export_list b/src/export_list
index 5ed7d1d3cb5e412493bf13acb2a26f5c38dda847..59859adbf0670c098e058c105805e56a44a3afd4 100644
--- a/src/export_list
+++ b/src/export_list
@@ -1,3 +1,7 @@
+# $Id: export_list,v 1.2 2002/04/21 01:41:23 nilsson Exp $
+# This file lists the files and directories that should be
+# added to source dists. Used by bin/export.pike.
+
 /README.txt
 /README-CVS.txt
 /ANNOUNCE
@@ -21,4 +25,3 @@
 /refdoc/template.xsl
 /refdoc/xml.txt
 /refdoc/.cvsignore
-