Added public files
Roughly added all public files. Probably missed some, though.
diff --git a/doc/master/reactivate_destructed_master b/doc/master/reactivate_destructed_master
new file mode 100644
index 0000000..e90d2a1
--- /dev/null
+++ b/doc/master/reactivate_destructed_master
@@ -0,0 +1,15 @@
+SYNOPSIS
+ void reactivate_destructed_master(int flag)
+
+DESCRIPTION
+ This function is called in an already destructed master object
+ if no new master object could be loaded. flag will be 1 if the
+ old master object could be reclaimed form the list of objects
+ that were marked for destruction but not yet terminated. If
+ flag is 0, all variables of the object have been set to 0 and
+ must be re-initialized.
+
+ After this function, inaugurate_master() will be applied again.
+
+SEE ALSO
+ destruct(E), inaugurate_master(M), master(M)