Add davFilesystem directive
authorAdam Chlipala <adamc@hcoop.net>
Thu, 11 Oct 2007 10:03:49 +0000 (10:03 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Thu, 11 Oct 2007 10:03:49 +0000 (10:03 +0000)
lib/mod_dav.dtl [new file with mode: 0644]
src/plugins/apache.sml

diff --git a/lib/mod_dav.dtl b/lib/mod_dav.dtl
new file mode 100644 (file)
index 0000000..7558454
--- /dev/null
@@ -0,0 +1,5 @@
+{{Apache mod_dav}}
+
+extern val davFilesystem : [Location];
+{{See <a href="http://httpd.apache.org/docs/2.0/mod/mod_dav.html#dav">the
+Apache documentation</a>.}}
index f935549..167759f 100644 (file)
@@ -819,6 +819,9 @@ val () = Env.action_one "authzSvnAccessFile"
                      write path;
                      write "\n"))*)
 
                      write path;
                      write "\n"))*)
 
+val () = Env.action_none "davFilesystem"
+        (fn path => write "\tDAV filesystem\n")
+
 val () = Env.action_two "addDescription"
         ("description", Env.string, "patterns", Env.list Env.string)
         (fn (desc, pats) =>
 val () = Env.action_two "addDescription"
         ("description", Env.string, "patterns", Env.list Env.string)
         (fn (desc, pats) =>