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/dtime b/doc/sefun/dtime
index 6624642..dac7dd0 100644
--- a/doc/sefun/dtime
+++ b/doc/sefun/dtime
@@ -1,24 +1,49 @@
-FUNKTION:
-	string dtime(int time)
 
-ARGUMENTE:
-	time - Umzuwandelndes Datum in Sekunden seit 1.1.1970, 0:0:0h
+dtime()
+*******
 
-BESCHREIBUNG:
-	Wandelt das Datum time in einen deutschsprachigen String der Form
-	"<wtag>, <tag>. <mon> <jahr>, <std>:<min>:<sek>" um.
 
-RUECKGABEWERT:
-	Der String mit dem umgewandelten Datum.
+FUNKTION
+========
 
-BEMERKUNGEN:
-	Als time wird meistens das Ergebnis von time() benutzt.
-  strftime() stellt eine wesentlich flexiblere Moeglichkeit der Ausgabe von
-  Zeiten dar.
+   string dtime(int time)
 
-BEISPIELE:
-	datum = dtime(time());
-        => datum = "Mon,  6. Mar 1994, 15:00:08"
 
-SIEHE AUCH:
-	ctime(E), strftime(E), time(E)
+ARGUMENTE
+=========
+
+   time - Umzuwandelndes Datum in Sekunden seit 1.1.1970, 0:0:0h
+
+
+BESCHREIBUNG
+============
+
+   Wandelt das Datum time in einen deutschsprachigen String der Form
+   "<wtag>, <tag>. <mon> <jahr>, <std>:<min>:<sek>" um.
+
+
+RUECKGABEWERT
+=============
+
+   Der String mit dem umgewandelten Datum.
+
+
+BEMERKUNGEN
+===========
+
+         Als time wird meistens das Ergebnis von time() benutzt.
+   strftime() stellt eine wesentlich flexiblere Moeglichkeit der Ausgabe von
+   Zeiten dar.
+
+
+BEISPIELE
+=========
+
+   datum = dtime(time());
+   => datum = "Mon,  6. Mar 1994, 15:00:08"
+
+
+SIEHE AUCH
+==========
+
+   ctime(E), strftime(E), time(E)