Added public files
Roughly added all public files. Probably missed some, though.
diff --git a/doc/props/P_SEERDOORS b/doc/props/P_SEERDOORS
new file mode 100644
index 0000000..8ffb852
--- /dev/null
+++ b/doc/props/P_SEERDOORS
@@ -0,0 +1,26 @@
+P_SEERDOORS
+
+NAME:
+ P_SEERDOORS "rw_sehertore"
+
+DEFINIERT IN:
+ /d/seher/portale/sehertor.h
+
+BESCHREIBUNG:
+ Sehertor-relevante Property.
+
+ Enthaelt ein Mapping mit den Wertepaaren
+ ([ Seher-Portal-Nummer: x ])
+ mit x != 0 fuer entdeckte Tore.
+
+ 0 hat ein Sonderverhalten fuer mobile Tore.
+
+BEMERKUNG:
+ Auf gar keinen Fall in Spielern manipulieren! Und bitte das enthaltene
+ Mapping nicht von einem Spieler abfragen und P_SEERDOORS in einem
+ Testspieler zuweisen!
+
+SIEHE AUCH:
+ P_FAO_PORTALS
+
+1.September 2008 Gloinson