Automatisch erzeugte Manpages.

Damit nicht jeder sphinx auf dem Rechner haben muss,
behalten wir bis auf weiteres die aus den .rst
erzeugten Manpoages auch im Repo.

Change-Id: Id556c0d11cf5f79659d8350952ce1c014d81ea44
diff --git a/doc/sefun/query_ip_name b/doc/sefun/query_ip_name
index d16298f..76de80f 100644
--- a/doc/sefun/query_ip_name
+++ b/doc/sefun/query_ip_name
@@ -1,12 +1,28 @@
+
+query_ip_name()
+***************
+
+
 GESCHUETZT
+==========
+
+
 SYNOPSIS
-        string query_ip_name(object ob);
+========
+
+   string query_ip_name(object ob);
+
 
 BESCHREIBUNG
-        Liefert den IP-Namen des Users <ob> oder des aktuellen Benutzers, wenn
-        <ob> nicht angegeben wurde. Der IP-Name wird durch den asynchronen
-        Prozess hname ermittelt. Wenn der IP-Name nicht ermittelt werden kann,
-        liefert query_ip_name() die IP-Nummer zurueck.
+============
+
+   Liefert den IP-Namen des Users <ob> oder des aktuellen Benutzers, wenn
+   <ob> nicht angegeben wurde. Der IP-Name wird durch den asynchronen
+   Prozess hname ermittelt. Wenn der IP-Name nicht ermittelt werden kann,
+   liefert query_ip_name() die IP-Nummer zurueck.
+
 
 SIEHE AUCH
-        query_ip_number(E)
+==========
+
+   query_ip_number(E)