diff -r cf49932f3c42 -r f9be78009930 lib/scripts/run-mlworks
--- a/lib/scripts/run-mlworks	Thu Sep 28 14:40:38 2000 +0200
+++ b/lib/scripts/run-mlworks	Thu Sep 28 14:41:48 2000 +0200
@@ -6,7 +6,7 @@
 #
 # MLWorks startup script (for 1.0r2 or later).
 
-export -n INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE
+export -n INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE
 
 
 ## diagnostics