From 4a351f516947afbde448a387921ae53db547c345 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= Date: Tue, 24 Oct 2023 18:17:58 +0200 Subject: Split webdav documentation into multiple files. --- doc/ref/webdav/util.texi | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 doc/ref/webdav/util.texi (limited to 'doc/ref/webdav/util.texi') diff --git a/doc/ref/webdav/util.texi b/doc/ref/webdav/util.texi new file mode 100644 index 00000000..c45f8a72 --- /dev/null +++ b/doc/ref/webdav/util.texi @@ -0,0 +1,10 @@ +@node WebDAV Utilities +@section Utilities +@defun href->string href +HREF's are represented as lists of strings. The root resource (``/'') +is the empty list. +@end defun + +@defun string->href string +Return a href list back into a string. A leading slash will always be added. +@end defun -- cgit v1.2.3