Updates erzeugter Manpages

Diese Manpages werden mit sphinx erzeugt. Sie werden
hier committet, damit auch Nutzer ohne sphinx die
Textversion haben.

Change-Id: Ibe6acc626b51b42364af33450a719e88281651b9
diff --git a/doc/props/P_INT_SHORT b/doc/props/P_INT_SHORT
index 618bbab..ac3c31d 100644
--- a/doc/props/P_INT_SHORT
+++ b/doc/props/P_INT_SHORT
@@ -22,10 +22,13 @@
    als String oder Closure (mit String-Rueckgabewert).
 
    Container sind hierbei z.B. Raeume.
-   ACHTUNG: Die Kurzbeschreibung sollte dabei weder mit einem
-            Satzzeichen noch mit einem "\n" abgeschlossen sein
+   ACHTUNG: Die Kurzbeschreibung sollte dabei nicht  mit einem
+            "\n" abgeschlossen sein
             (dies wird von den zustaendigen Funktionen erledigt).
 
+   Aus historischen Gruenden wird ein Punkt ergaenzt, wenn das letzte
+   Zeichen kein Punkt, Ausrufezeichen oder Fragezeichen ist.
+
    Man sollte die Property nicht auf 0 setzen.
 
    Diese Property bestimmt die Ansicht des Containers von innen.