annotate doc/misc/sieve.texi @ 91979:99f1bbaca4b7

Kill eol whitespace; nfc.
author Thien-Thi Nguyen <ttn@gnuvola.org>
date Wed, 20 Feb 2008 10:40:46 +0000
parents 5d58981e6690
children eafbd7a5c9be
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
84315
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 \input texinfo @c -*-texinfo-*-
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2
84329
3d431f1997d8 (setfilename): Go up one more level to ../../info.
Glenn Morris <rgm@gnu.org>
parents: 84315
diff changeset
3 @setfilename ../../info/sieve
84315
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 @settitle Emacs Sieve Manual
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 @synindex fn cp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 @synindex vr cp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 @synindex pg cp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 @copying
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 This file documents the Emacs Sieve package, for server-side mail filtering.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11
87903
5d58981e6690 Merge from emacs--rel--22
Miles Bader <miles@gnu.org>
parents: 85712
diff changeset
12 Copyright @copyright{} 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008
84315
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13 Free Software Foundation, Inc.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 @quotation
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 Permission is granted to copy, distribute and/or modify this document
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 under the terms of the GNU Free Documentation License, Version 1.2 or
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 any later version published by the Free Software Foundation; with no
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 Invariant Sections, with the Front-Cover texts being ``A GNU
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20 Manual'', and with the Back-Cover Texts as in (a) below. A copy of the
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21 license is included in the section entitled ``GNU Free Documentation
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22 License'' in the Emacs manual.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 (a) The FSF's Back-Cover Text is: ``You have freedom to copy and modify
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 this GNU Manual, like GNU software. Copies published by the Free
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 Software Foundation raise funds for GNU development.''
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28 This document is part of a collection distributed under the GNU Free
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29 Documentation License. If you want to distribute this document
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30 separately from the collection, you can do so by adding a copy of the
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31 license to the document, as described in section 6 of the license.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
32 @end quotation
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33 @end copying
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35 @dircategory Emacs
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36 @direntry
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37 * Sieve: (sieve). Managing Sieve scripts in Emacs.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 @end direntry
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
39 @iftex
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
40 @finalout
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
41 @end iftex
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42 @setchapternewpage odd
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
43
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44 @titlepage
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45 @title Emacs Sieve Manual
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
46
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
47 @author by Simon Josefsson
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48 @page
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
49 @vskip 0pt plus 1filll
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
50 @insertcopying
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51 @end titlepage
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
53
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
54 @node Top
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
55 @top Sieve Support for Emacs
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
57 This manual documents the Emacs Sieve package.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
58
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
59 It is intended as a users manual for Sieve Mode and Manage Sieve, and
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60 as a reference manual for the @samp{sieve-manage} protocol Emacs Lisp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 API.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 Sieve is a language for server-side filtering of mail. The language
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 is documented in RFC 3028. This manual does not attempt to document
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65 the language, so keep RFC 3028 around.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67 A good online Sieve resources is @uref{http://www.cyrusoft.com/sieve/}.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 @menu
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70 * Installation:: Getting ready to use the package.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 * Sieve Mode:: Editing Sieve scripts.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
72 * Managing Sieve:: Managing Sieve scripts on a remote server.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73 * Examples :: A few Sieve code snippets.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
74 * Manage Sieve API :: Interfacing to the Manage Sieve Protocol API.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
75 * Standards:: A summary of RFCs and working documents used.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76 * GNU Free Documentation License:: The license for this documentation.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77 * Index:: Function and variable index.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
78 @end menu
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
79
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
80
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
81 @node Installation
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
82 @chapter Installation
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83 @cindex Install
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
84 @cindex Setup
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
85
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
86 The Sieve package should come with your Emacs version, and should be
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
87 ready for use directly.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
88
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
89 However, to manually set up the package you can put the following
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
90 commands in your @code{~/.emacs}:
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
91
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
92 @lisp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
93 (autoload 'sieve-mode "sieve-mode")
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
94 @end lisp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
95 @lisp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
96 (setq auto-mode-alist (cons '("\\.s\\(v\\|iv\\|ieve\\)\\'" . sieve-mode)
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
97 auto-mode-alist))
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
98 @end lisp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
99
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
100
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
101 @node Sieve Mode
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
102 @chapter Sieve Mode
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
103
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
104 Sieve mode provides syntax-based indentation, font-locking support and
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
105 other handy functions to make editing Sieve scripts easier.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
106
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
107 Use @samp{M-x sieve-mode} to switch to this major mode. This command
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
108 runs the hook @code{sieve-mode-hook}.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
109
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
110 @vindex sieve-mode-map
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
111 @vindex sieve-mode-syntax-table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
112 Sieve mode is derived from @code{c-mode}, and is very similar except
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
113 for the syntax of comments. The keymap (@code{sieve-mode-map}) is
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
114 inherited from @code{c-mode}, as are the variables for customizing
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
115 indentation. Sieve mode has its own abbrev table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
116 (@code{sieve-mode-abbrev-table}) and syntax table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
117 (@code{sieve-mode-syntax-table}).
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
118
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
119 In addition to the editing utility functions, Sieve mode also contains
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
120 bindings to manage Sieve scripts remotely. @xref{Managing Sieve}.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
121
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
122 @table @kbd
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
123
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
124 @item C-c RET
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
125 @kindex C-c RET
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
126 @findex sieve-manage
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
127 @cindex manage remote sieve script
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
128 Open a connection to a remote server using the Managesieve protocol.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
129
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
130 @item C-c C-l
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
131 @kindex C-c C-l
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
132 @findex sieve-upload
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
133 @cindex upload sieve script
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
134 Upload the Sieve script to the currently open server.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
135
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
136 @end table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
137
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
138
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
139 @node Managing Sieve
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
140 @chapter Managing Sieve
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
141
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
142 Manage Sieve is a special mode used to display Sieve scripts available
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
143 on a remote server. It can be invoked with @kbd{M-x sieve-manage
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
144 RET}, which queries the user for a server and if necessary, user
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
145 credentials to use.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
146
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
147 When a server has been successfully contacted, the Manage Sieve buffer
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
148 looks something like:
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
149
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
150 @example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
151 Server : mailserver:2000
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
152
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
153 2 scripts on server, press RET on a script name edits it, or
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
154 press RET on <new script> to create a new script.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
155 <new script>
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
156 ACTIVE .sieve
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
157 template.siv
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
158 @end example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
159
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
160 One of the scripts are highlighted, and standard point navigation
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
161 commands (@kbd{<up>}, @kbd{<down>} etc) can be used to navigate the
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
162 list.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
163
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
164 The following commands are available in the Manage Sieve buffer:
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
165
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
166 @table @kbd
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
167
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
168 @item m
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
169 @kindex m
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
170 @findex sieve-activate
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
171 Activates the currently highlighted script.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
172
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
173 @item u
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
174 @kindex u
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
175 @findex sieve-deactivate
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
176 Deactivates the currently highlighted script.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
177
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
178 @item C-M-?
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
179 @kindex C-M-?
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
180 @findex sieve-deactivate-all
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
181 Deactivates all scripts.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
182
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
183 @item r
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
184 @kindex r
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
185 @findex sieve-remove
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
186 Remove currently highlighted script.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
187
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
188 @item RET
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
189 @item mouse-2
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
190 @item f
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
191 @kindex RET
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
192 @kindex mouse-2
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
193 @kindex f
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
194 @findex sieve-edit-script
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
195 Bury the server buffer and download the currently highlighted script
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
196 into a new buffer for editing in Sieve mode (@pxref{Sieve Mode}).
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
197
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
198 @item o
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
199 @kindex o
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
200 @findex sieve-edit-script-other-window
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
201 Create a new buffer in another window containing the currently
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
202 highlighted script for editing in Sieve mode (@pxref{Sieve Mode}).
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
203
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
204 @item q
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
205 @kindex q
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
206 @findex sieve-bury-buffer
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
207 Bury the Manage Sieve buffer without closing the connection.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
208
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
209 @item ?
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
210 @item h
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
211 @kindex ?
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
212 @kindex h
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
213 @findex sieve-help
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
214 Displays help in the minibuffer.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
215
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
216 @end table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
217
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
218 @node Examples
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
219 @chapter Examples
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
220
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
221 If you are not familiar with Sieve, this chapter contains a few simple
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
222 code snippets that you can cut'n'paste and modify at will, until you
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
223 feel more comfortable with the Sieve language to write the rules from
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
224 scratch.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
225
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
226 The following complete Sieve script places all messages with a matching
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
227 @samp{Sender:} header into the given mailbox. Many mailing lists uses
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
228 this format. The first line makes sure your Sieve server understands
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
229 the @code{fileinto} command.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
230
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
231 @example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
232 require "fileinto";
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
233
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
234 if address "sender" "owner-w3-beta@@xemacs.org" @{
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
235 fileinto "INBOX.w3-beta";
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
236 @}
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
237 @end example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
238
85712
a3c27999decb Update Gnus to No Gnus 0.7 from the Gnus CVS trunk
Miles Bader <miles@gnu.org>
parents: 84329
diff changeset
239 A few mailing lists do not use the @samp{Sender:} header, but has a
a3c27999decb Update Gnus to No Gnus 0.7 from the Gnus CVS trunk
Miles Bader <miles@gnu.org>
parents: 84329
diff changeset
240 unique identifier in some other header. The following is not a
a3c27999decb Update Gnus to No Gnus 0.7 from the Gnus CVS trunk
Miles Bader <miles@gnu.org>
parents: 84329
diff changeset
241 complete script, it assumes that @code{fileinto} has already been
84315
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
242 required.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
243
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
244 @example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
245 if header :contains "Delivered-To" "auc-tex@@sunsite.dk" @{
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
246 fileinto "INBOX.auc-tex";
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
247 @}
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
248 @end example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
249
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
250 At last, we have the hopeless mailing lists that does not have any
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
251 unique identifier and you are forced to match on the @samp{To:} and
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
252 @samp{Cc} headers. As before, this snippet assumes that @code{fileinto}
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
253 has been required.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
254
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
255 @example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
256 if address ["to", "cc"] "kerberos@@mit.edu" @{
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
257 fileinto "INBOX.kerberos";
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
258 @}
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
259 @end example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
260
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
261 @node Manage Sieve API
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
262 @chapter Manage Sieve API
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
263
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
264 The @file{sieve-manage.el} library contains low-level functionality
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
265 for talking to a server with the @sc{managesieve} protocol.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
266
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
267 A number of user-visible variables exist, which all can be customized
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
268 in the @code{sieve} group (@kbd{M-x customize-group RET sieve RET}):
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
269
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
270 @table @code
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
271
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
272 @item sieve-manage-default-user
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
273 @vindex sieve-manage-default-user
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
274 Sets the default username.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
275
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
276 @item sieve-manage-default-port
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
277 @vindex sieve-manage-default-port
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
278 Sets the default port to use, the suggested port number is @code{2000}.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
279
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
280 @item sieve-manage-log
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
281 @vindex sieve-manage-log
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
282 If non-@code{nil}, should be a string naming a buffer where a protocol trace
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
283 is dumped (for debugging purposes).
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
284
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
285 @end table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
286
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
287 The API functions include:
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
288
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
289 @table @code
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
290
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
291 @item sieve-manage-open
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
292 @findex sieve-manage-open
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
293 Open connection to managesieve server, returning a buffer to be used
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
294 by all other API functions.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
295
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
296 @item sieve-manage-opened
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
297 @findex sieve-manage-opened
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
298 Check if a server is open or not.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
299
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
300 @item sieve-manage-close
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
301 @findex sieve-manage-close
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
302 Close a server connection.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
303
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
304 @item sieve-manage-authenticate
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
305 @findex sieve-manage-authenticate
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
306 Authenticate to the server.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
307
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
308 @item sieve-manage-capability
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
309 @findex sieve-manage-capability
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
310 Return a list of capabilities the server supports.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
311
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
312 @item sieve-manage-listscripts
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
313 @findex sieve-manage-listscripts
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
314 List scripts on the server.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
315
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
316 @item sieve-manage-havespace
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
317 @findex sieve-manage-havespace
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
318 Return non-@code{nil} if the server has room for a script of given
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
319 size.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
320
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
321 @item sieve-manage-getscript
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
322 @findex sieve-manage-getscript
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
323 Download script from server.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
324
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
325 @item sieve-manage-putscript
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
326 @findex sieve-manage-putscript
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
327 Upload script to server.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
328
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
329 @item sieve-manage-setactive
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
330 @findex sieve-manage-setactive
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
331 Indicate which script on the server should be active.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
332
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
333 @end table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
334
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
335 @node Standards
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
336 @chapter Standards
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
337
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
338 The Emacs Sieve package implements all or parts of a small but
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
339 hopefully growing number of RFCs and drafts documents. This chapter
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
340 lists the relevant ones. They can all be fetched from
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
341 @uref{http://quimby.gnus.org/notes/}.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
342
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
343 @table @dfn
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
344
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
345 @item RFC3028
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
346 Sieve: A Mail Filtering Language.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
347
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
348 @item draft-martin-managesieve-03
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
349 A Protocol for Remotely Managing Sieve Scripts
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
350
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
351 @end table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
352
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
353 @node GNU Free Documentation License
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
354 @appendix GNU Free Documentation License
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
355 @include doclicense.texi
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
356
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
357 @node Index
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
358 @unnumbered Index
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
359 @printindex cp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
360
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
361 @summarycontents
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
362 @contents
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
363 @bye
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
364
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
365 @c End:
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
366
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
367 @ignore
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
368 arch-tag: 6e3ad0af-2eaf-4f35-a081-d40f4a683ec3
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
369 @end ignore