diff --git a/doc/misc/tramp.texi b/doc/misc/tramp.texi
index 56436d32970..cbd8d202650 100644
--- a/doc/misc/tramp.texi
+++ b/doc/misc/tramp.texi
@@ -1236,6 +1236,7 @@ syntax requires a leading volume (share) name, for example:
 
 @item @option{dav}
 @item @option{davs}
+@cindex WebDAV
 @cindex method @option{dav}
 @cindex method @option{davs}
 @cindex @option{dav} method