+
+ (** A new script was copied into the backend, make a corresponding entry in
+ the frontend.
+ @param rp Relative path of the entry in the backend
+ @param abspath Absolute path of the entry
+ @param perm Permissions of the entry at the frontend *)