diff --git a/docs/formatdomain.rst b/docs/formatdomain.rst index d8004d4ad0..d63543db0b 100644 --- a/docs/formatdomain.rst +++ b/docs/formatdomain.rst @@ -6716,7 +6716,6 @@ NB special case if , then the TTY path is also duplicated as an attribute tty='/dev/pts/3' on the top level tag. This provides compat with existing syntax for tags. -:anchor:`` Host device proxy '''''''''''''''''