diff options
Diffstat (limited to 'doc/misc/sieve.texi')
-rw-r--r-- | doc/misc/sieve.texi | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/doc/misc/sieve.texi b/doc/misc/sieve.texi index 139d0fa77d..64fd92f40c 100644 --- a/doc/misc/sieve.texi +++ b/doc/misc/sieve.texi @@ -1,4 +1,7 @@ \input texinfo @c -*-texinfo-*- + +@include gnus-overrides.texi + @setfilename ../../info/sieve @settitle Emacs Sieve Manual @synindex fn cp @@ -8,8 +11,7 @@ @copying This file documents the Emacs Sieve package, for server-side mail filtering. -Copyright @copyright{} 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, -2009, 2010, 2011 Free Software Foundation, Inc. +Copyright @copyright{} 2001-2011 Free Software Foundation, Inc. @quotation Permission is granted to copy, distribute and/or modify this document @@ -35,7 +37,12 @@ developing GNU and promoting software freedom.'' @setchapternewpage odd @titlepage +@ifset WEBHACKDEVEL +@title Emacs Sieve Manual (DEVELOPMENT VERSION) +@end ifset +@ifclear WEBHACKDEVEL @title Emacs Sieve Manual +@end ifclear @author by Simon Josefsson @page @@ -264,10 +271,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}. @@ -356,7 +359,3 @@ A Protocol for Remotely Managing Sieve Scripts @bye @c End: - -@ignore - arch-tag: 6e3ad0af-2eaf-4f35-a081-d40f4a683ec3 -@end ignore |