Added public files
Roughly added all public files. Probably missed some, though.
diff --git a/doc/efun/copy_file b/doc/efun/copy_file
new file mode 100644
index 0000000..6e091ed
--- /dev/null
+++ b/doc/efun/copy_file
@@ -0,0 +1,19 @@
+SYNOPSIS
+ int copy_file(string from, string to)
+
+DESCRIPTION
+ The efun copy_file() will copy the file <from> to the new name <to>.
+ If <to> exists and is a directory, then <from> will be placed in that
+ directory and keep its original name.
+
+ You must have read permission for <from> and write permission for
+ the target file to copy the file.
+
+ On successful completion copy_file() will return 0. If any
+ occurs, 1 is returned, or a runtime is generated.
+
+EXAMPLE
+ copy_file("/players/wizard/obj.c", "/players/wizard/newobj.c");
+
+SEE ALSO
+ mkdir(E), rmdir(E), rm(E), rename(E)