diff --git a/src/export_list b/src/export_list
index b12aad65449cdbe9b2252707869ee1cf5a6973d9..199ba84d43608159a8d499e45e041909894f326f 100644
--- a/src/export_list
+++ b/src/export_list
@@ -1,9 +1,9 @@
-# $Id: export_list,v 1.3 2002/04/28 13:28:54 mikael%brandstrom.org Exp $
+# $Id: export_list,v 1.4 2002/12/05 20:08:24 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
+/README
+/README-CVS
 /ANNOUNCE
 /COPYING
 /COPYRIGHT
@@ -12,7 +12,6 @@
 /lib
 /bin
 /man
-/refdoc/bin
 /refdoc/chapters
 /refdoc/presentation
 /refdoc/src_images