diff -r 8f5c556120a5 -r f927ef81a12b src/server/plugins/postgresql/Makefile
--- a/src/server/plugins/postgresql/Makefile	Tue Apr 19 12:32:22 2022 +0200
+++ b/src/server/plugins/postgresql/Makefile	Tue Apr 19 18:23:54 2022 +0200
@@ -35,6 +35,7 @@
 SRC += resource.c
 SRC += service.c
 SRC += vfs.c
+SRC += webdav.c
 
 TEST_SRC  = pgtest.c