diff --git a/util/typo.php b/util/typo.php
index 6c846696d..9edb7e78a 100644
--- a/util/typo.php
+++ b/util/typo.php
@@ -26,6 +26,14 @@
 		include_once($file);
 	}
 
+	echo "Directory: include/RedDAV\n";
+	$files = glob('include/RedDAV/*.php');
+	foreach($files as $file) {
+		echo $file . "\n";
+		include_once($file);
+	}
+
+
 	echo "Directory: include/photo\n";
 	$files = glob('include/photo/*.php');
 	foreach($files as $file) {