diff --git a/bin/export.pike b/bin/export.pike
index 4abd3c24d8cee8fb8a24bc97bb212b93808cb43a..24c5780b0f7baf3f69bb06fa420d4f84b7435dae 100755
--- a/bin/export.pike
+++ b/bin/export.pike
@@ -1,6 +1,6 @@
 #!/usr/local/bin/pike
 
-/* $Id: export.pike,v 1.7 1997/09/09 04:39:43 hubbe Exp $ */
+/* $Id: export.pike,v 1.8 1997/10/14 03:08:46 hubbe Exp $ */
 
 #include <simulate.h>
 
@@ -80,7 +80,6 @@ int main(int argc, string *argv)
 
   files=sum(({ vpath+"/README" }),
 	    get_files(vpath+"/src"),
-	    get_files(vpath+"/doc"),
 	    get_files(vpath+"/lib"),
 	    get_files(vpath+"/bin"));