annotate doc/misc/sieve.texi @ 109115:71150397fb59

Fix prototypes. * src/cm.c (evalcost): Fix arg type. * src/cm.h (evalcost): Fix prototype. * src/lisp.h (memory_warnings): Fix prototype. * lib-src/ebrowse.c (match_qualified_namespace_alias): Pass sym* to find_namespace, not link*. * lib-src/emacsclient.c (send_to_emacs, quote_argument): Arg s is HSOCKET. * lib-src/sorted-doc.c (qsort_compare): New typedef. (main): Use it to cast cmpdoc.
author Juanma Barranquero <lekktu@gmail.com>
date Sat, 03 Jul 2010 09:44:17 +0200
parents 1d1d5d9bd884
children f1266b2f017e
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-*-
84329
3d431f1997d8 (setfilename): Go up one more level to ../../info.
Glenn Morris <rgm@gnu.org>
parents: 84315
diff changeset
2 @setfilename ../../info/sieve
84315
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 @settitle Emacs Sieve Manual
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 @synindex fn cp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 @synindex vr cp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 @synindex pg cp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8 @copying
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 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
10
106815
1d1d5d9bd884 Add 2010 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 102059
diff changeset
11 Copyright @copyright{} 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010
84315
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12 Free Software Foundation, Inc.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 @quotation
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 Permission is granted to copy, distribute and/or modify this document
99709
6de181810d0f Relicense all texi files under FDL 1.3 or later.
Glenn Morris <rgm@gnu.org>
parents: 95937
diff changeset
16 under the terms of the GNU Free Documentation License, Version 1.3 or
84315
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 any later version published by the Free Software Foundation; with no
95937
6f0fce2c3559 Remove references to external license, since doclicense is included.
Glenn Morris <rgm@gnu.org>
parents: 95874
diff changeset
18 Invariant Sections, with the Front-Cover texts being ``A GNU Manual'',
6f0fce2c3559 Remove references to external license, since doclicense is included.
Glenn Morris <rgm@gnu.org>
parents: 95874
diff changeset
19 and with the Back-Cover Texts as in (a) below. A copy of the license
6f0fce2c3559 Remove references to external license, since doclicense is included.
Glenn Morris <rgm@gnu.org>
parents: 95874
diff changeset
20 is included in the section entitled ``GNU Free Documentation License''.
84315
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21
95874
eafbd7a5c9be Update Back-Cover Text as per maintain.info.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
22 (a) The FSF's Back-Cover Text is: ``You have the freedom to copy and
eafbd7a5c9be Update Back-Cover Text as per maintain.info.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
23 modify this GNU manual. Buying copies from the FSF supports it in
eafbd7a5c9be Update Back-Cover Text as per maintain.info.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
24 developing GNU and promoting software freedom.''
84315
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 @end quotation
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 @end copying
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 @dircategory Emacs
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29 @direntry
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30 * Sieve: (sieve). Managing Sieve scripts in Emacs.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31 @end direntry
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
32 @iftex
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33 @finalout
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34 @end iftex
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35 @setchapternewpage odd
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37 @titlepage
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 @title Emacs Sieve Manual
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
39
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
40 @author by Simon Josefsson
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
41 @page
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42 @vskip 0pt plus 1filll
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
43 @insertcopying
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44 @end titlepage
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45
102059
9bcea07061a8 consistently use @insertcopying, @direntry, @contents
Karl Berry <karl@gnu.org>
parents: 100974
diff changeset
46 @summarycontents
9bcea07061a8 consistently use @insertcopying, @direntry, @contents
Karl Berry <karl@gnu.org>
parents: 100974
diff changeset
47 @contents
84315
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
49 @node Top
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
50 @top Sieve Support for Emacs
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51
102059
9bcea07061a8 consistently use @insertcopying, @direntry, @contents
Karl Berry <karl@gnu.org>
parents: 100974
diff changeset
52 This is intended as a users manual for Sieve Mode and Manage Sieve, and
84315
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
53 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
54 API.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
55
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56 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
57 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
58 the language, so keep RFC 3028 around.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
59
102059
9bcea07061a8 consistently use @insertcopying, @direntry, @contents
Karl Berry <karl@gnu.org>
parents: 100974
diff changeset
60 @ifnottex
9bcea07061a8 consistently use @insertcopying, @direntry, @contents
Karl Berry <karl@gnu.org>
parents: 100974
diff changeset
61 @insertcopying
9bcea07061a8 consistently use @insertcopying, @direntry, @contents
Karl Berry <karl@gnu.org>
parents: 100974
diff changeset
62 @end ifnottex
84315
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 @menu
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65 * Installation:: Getting ready to use the package.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 * Sieve Mode:: Editing Sieve scripts.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67 * Managing Sieve:: Managing Sieve scripts on a remote server.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68 * Examples :: A few Sieve code snippets.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 * Manage Sieve API :: Interfacing to the Manage Sieve Protocol API.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70 * Standards:: A summary of RFCs and working documents used.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 * GNU Free Documentation License:: The license for this documentation.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
72 * Index:: Function and variable index.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73 @end menu
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
74
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
75
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76 @node Installation
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77 @chapter Installation
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
78 @cindex Install
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
79 @cindex Setup
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 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
82 ready for use directly.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
84 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
85 commands in your @code{~/.emacs}:
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
86
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
87 @lisp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
88 (autoload 'sieve-mode "sieve-mode")
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
89 @end lisp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
90 @lisp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
91 (setq auto-mode-alist (cons '("\\.s\\(v\\|iv\\|ieve\\)\\'" . sieve-mode)
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
92 auto-mode-alist))
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
93 @end lisp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
94
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
95
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
96 @node Sieve Mode
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
97 @chapter Sieve Mode
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
98
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
99 Sieve mode provides syntax-based indentation, font-locking support and
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
100 other handy functions to make editing Sieve scripts easier.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
101
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
102 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
103 runs the hook @code{sieve-mode-hook}.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
104
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
105 @vindex sieve-mode-map
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
106 @vindex sieve-mode-syntax-table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
107 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
108 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
109 inherited from @code{c-mode}, as are the variables for customizing
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
110 indentation. Sieve mode has its own abbrev table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
111 (@code{sieve-mode-abbrev-table}) and syntax table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
112 (@code{sieve-mode-syntax-table}).
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
113
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
114 In addition to the editing utility functions, Sieve mode also contains
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
115 bindings to manage Sieve scripts remotely. @xref{Managing Sieve}.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
116
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
117 @table @kbd
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 @item C-c RET
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
120 @kindex C-c RET
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
121 @findex sieve-manage
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
122 @cindex manage remote sieve script
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
123 Open a connection to a remote server using the Managesieve protocol.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
124
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
125 @item C-c C-l
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
126 @kindex C-c C-l
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
127 @findex sieve-upload
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
128 @cindex upload sieve script
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
129 Upload the Sieve script to the currently open server.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
130
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
131 @end table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
132
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
133
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
134 @node Managing Sieve
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
135 @chapter Managing Sieve
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
136
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
137 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
138 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
139 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
140 credentials to use.
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 When a server has been successfully contacted, the Manage Sieve buffer
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
143 looks something like:
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
144
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
145 @example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
146 Server : mailserver:2000
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
147
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
148 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
149 press RET on <new script> to create a new script.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
150 <new script>
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
151 ACTIVE .sieve
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
152 template.siv
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
153 @end example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
154
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
155 One of the scripts are highlighted, and standard point navigation
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
156 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
157 list.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
158
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
159 The following commands are available in the Manage Sieve buffer:
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
160
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
161 @table @kbd
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
162
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
163 @item m
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
164 @kindex m
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
165 @findex sieve-activate
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
166 Activates the currently highlighted script.
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 u
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
169 @kindex u
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
170 @findex sieve-deactivate
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
171 Deactivates 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 C-M-?
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
174 @kindex C-M-?
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
175 @findex sieve-deactivate-all
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
176 Deactivates all scripts.
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 r
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
179 @kindex r
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
180 @findex sieve-remove
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
181 Remove currently highlighted script.
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 RET
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
184 @item mouse-2
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
185 @item f
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
186 @kindex RET
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
187 @kindex mouse-2
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
188 @kindex f
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
189 @findex sieve-edit-script
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
190 Bury the server buffer and download the currently highlighted script
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
191 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
192
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
193 @item o
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
194 @kindex o
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
195 @findex sieve-edit-script-other-window
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
196 Create a new buffer in another window containing the currently
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
197 highlighted script for editing in Sieve mode (@pxref{Sieve Mode}).
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
198
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
199 @item q
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
200 @kindex q
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
201 @findex sieve-bury-buffer
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
202 Bury the Manage Sieve buffer without closing the connection.
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 ?
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
205 @item h
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
206 @kindex ?
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
207 @kindex h
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
208 @findex sieve-help
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
209 Displays help in the minibuffer.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
210
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
211 @end table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
212
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
213 @node Examples
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
214 @chapter Examples
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 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
217 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
218 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
219 scratch.
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 The following complete Sieve script places all messages with a matching
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
222 @samp{Sender:} header into the given mailbox. Many mailing lists uses
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
223 this format. The first line makes sure your Sieve server understands
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
224 the @code{fileinto} command.
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 @example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
227 require "fileinto";
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
228
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
229 if address "sender" "owner-w3-beta@@xemacs.org" @{
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
230 fileinto "INBOX.w3-beta";
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
231 @}
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
232 @end example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
233
85712
a3c27999decb Update Gnus to No Gnus 0.7 from the Gnus CVS trunk
Miles Bader <miles@gnu.org>
parents: 84329
diff changeset
234 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
235 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
236 complete script, it assumes that @code{fileinto} has already been
84315
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
237 required.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
238
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
239 @example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
240 if header :contains "Delivered-To" "auc-tex@@sunsite.dk" @{
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
241 fileinto "INBOX.auc-tex";
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
242 @}
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
243 @end example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
244
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
245 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
246 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
247 @samp{Cc} headers. As before, this snippet assumes that @code{fileinto}
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
248 has been required.
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 @example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
251 if address ["to", "cc"] "kerberos@@mit.edu" @{
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
252 fileinto "INBOX.kerberos";
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
253 @}
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
254 @end example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
255
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
256 @node Manage Sieve API
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
257 @chapter Manage Sieve API
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 The @file{sieve-manage.el} library contains low-level functionality
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
260 for talking to a server with the @sc{managesieve} protocol.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
261
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
262 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
263 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
264
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
265 @table @code
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 @item sieve-manage-default-user
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
268 @vindex sieve-manage-default-user
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
269 Sets the default username.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
270
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
271 @item sieve-manage-default-port
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
272 @vindex sieve-manage-default-port
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
273 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
274
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
275 @item sieve-manage-log
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
276 @vindex sieve-manage-log
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
277 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
278 is dumped (for debugging purposes).
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 @end table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
281
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
282 The API functions include:
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
283
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
284 @table @code
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
285
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
286 @item sieve-manage-open
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
287 @findex sieve-manage-open
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
288 Open connection to managesieve server, returning a buffer to be used
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
289 by all other API functions.
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-opened
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
292 @findex sieve-manage-opened
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
293 Check if a server is open or not.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
294
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
295 @item sieve-manage-close
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
296 @findex sieve-manage-close
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
297 Close a server connection.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
298
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
299 @item sieve-manage-authenticate
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
300 @findex sieve-manage-authenticate
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
301 Authenticate to the server.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
302
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
303 @item sieve-manage-capability
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
304 @findex sieve-manage-capability
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
305 Return a list of capabilities the server supports.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
306
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
307 @item sieve-manage-listscripts
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
308 @findex sieve-manage-listscripts
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
309 List scripts on the server.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
310
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
311 @item sieve-manage-havespace
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
312 @findex sieve-manage-havespace
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
313 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
314 size.
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-getscript
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
317 @findex sieve-manage-getscript
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
318 Download script from server.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
319
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
320 @item sieve-manage-putscript
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
321 @findex sieve-manage-putscript
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
322 Upload script to server.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
323
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
324 @item sieve-manage-setactive
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
325 @findex sieve-manage-setactive
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
326 Indicate which script on the server should be active.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
327
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
328 @end table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
329
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
330 @node Standards
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
331 @chapter Standards
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 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
334 hopefully growing number of RFCs and drafts documents. This chapter
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
335 lists the relevant ones. They can all be fetched from
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
336 @uref{http://quimby.gnus.org/notes/}.
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 @table @dfn
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
339
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
340 @item RFC3028
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
341 Sieve: A Mail Filtering Language.
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 @item draft-martin-managesieve-03
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
344 A Protocol for Remotely Managing Sieve Scripts
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
345
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
346 @end table
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 @node GNU Free Documentation License
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
349 @appendix GNU Free Documentation License
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
350 @include doclicense.texi
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
351
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
352 @node Index
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
353 @unnumbered Index
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
354 @printindex cp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
355
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
356 @bye
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
357
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
358 @c End:
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
359
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
360 @ignore
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
361 arch-tag: 6e3ad0af-2eaf-4f35-a081-d40f4a683ec3
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
362 @end ignore