(shr-tag-hr): New function.

[gnus] / texi / sieve.texi

diff --git a/texi/sieve.texi b/texi/sieve.texi
index 5fbab4c..f8f9b62 100644 (file)
--- a/texi/sieve.texi
+++ b/texi/sieve.texi
@@ -265,10 +265,6 @@ in the @code{sieve} group (@kbd{M-x customize-group RET sieve RET}):
 
 @table @code
 
-@item sieve-manage-default-user
-@vindex sieve-manage-default-user
-Sets the default username.
-
 @item sieve-manage-default-port
 @vindex sieve-manage-default-port
 Sets the default port to use, the suggested port number is @code{2000}.
@@ -357,7 +353,3 @@ A Protocol for Remotely Managing Sieve Scripts
 @bye
 
 @c End:
-
-@ignore
-   arch-tag: 6e3ad0af-2eaf-4f35-a081-d40f4a683ec3
-@end ignore