annotate doc/misc/sieve.texi @ 97974:1a97dc0ac0e5

Add ns-emacs.
author Glenn Morris <rgm@gnu.org>
date Thu, 04 Sep 2008 02:35:30 +0000
parents 6f0fce2c3559
children 6de181810d0f
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
95937
6f0fce2c3559 Remove references to external license, since doclicense is included.
Glenn Morris <rgm@gnu.org>
parents: 95874
diff changeset
19 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
20 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
21 is included in the section entitled ``GNU Free Documentation License''.
84315
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22
95874
eafbd7a5c9be Update Back-Cover Text as per maintain.info.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
23 (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
24 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
25 developing GNU and promoting software freedom.''
84315
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 @end quotation
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27 @end copying
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29 @dircategory Emacs
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30 @direntry
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31 * Sieve: (sieve). Managing Sieve scripts in Emacs.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
32 @end direntry
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33 @iftex
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34 @finalout
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35 @end iftex
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36 @setchapternewpage odd
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 @titlepage
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
39 @title Emacs Sieve Manual
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
40
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
41 @author by Simon Josefsson
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42 @page
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
43 @vskip 0pt plus 1filll
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44 @insertcopying
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45 @end titlepage
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
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48 @node Top
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
49 @top Sieve Support for Emacs
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
50
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51 This manual documents the Emacs Sieve package.
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 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
54 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
55 API.
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 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
58 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
59 the language, so keep RFC 3028 around.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 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
62
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 @menu
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 * Installation:: Getting ready to use the package.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65 * Sieve Mode:: Editing Sieve scripts.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 * Managing Sieve:: Managing Sieve scripts on a remote server.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67 * Examples :: A few Sieve code snippets.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68 * Manage Sieve API :: Interfacing to the Manage Sieve Protocol API.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 * Standards:: A summary of RFCs and working documents used.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70 * GNU Free Documentation License:: The license for this documentation.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 * Index:: Function and variable index.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
72 @end menu
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73
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 @node Installation
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76 @chapter Installation
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77 @cindex Install
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
78 @cindex Setup
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 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
81 ready for use directly.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
82
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83 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
84 commands in your @code{~/.emacs}:
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 @lisp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
87 (autoload 'sieve-mode "sieve-mode")
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
88 @end lisp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
89 @lisp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
90 (setq auto-mode-alist (cons '("\\.s\\(v\\|iv\\|ieve\\)\\'" . sieve-mode)
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
91 auto-mode-alist))
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
92 @end lisp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
93
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 @node Sieve Mode
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
96 @chapter Sieve Mode
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
97
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
98 Sieve mode provides syntax-based indentation, font-locking support and
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
99 other handy functions to make editing Sieve scripts easier.
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 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
102 runs the hook @code{sieve-mode-hook}.
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 @vindex sieve-mode-map
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
105 @vindex sieve-mode-syntax-table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
106 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
107 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
108 inherited from @code{c-mode}, as are the variables for customizing
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
109 indentation. Sieve mode has its own abbrev table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
110 (@code{sieve-mode-abbrev-table}) and syntax table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
111 (@code{sieve-mode-syntax-table}).
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
112
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
113 In addition to the editing utility functions, Sieve mode also contains
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
114 bindings to manage Sieve scripts remotely. @xref{Managing Sieve}.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
115
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
116 @table @kbd
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
117
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
118 @item C-c RET
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
119 @kindex C-c RET
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
120 @findex sieve-manage
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
121 @cindex manage remote sieve script
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
122 Open a connection to a remote server using the Managesieve protocol.
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 C-l
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
125 @kindex C-c C-l
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
126 @findex sieve-upload
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
127 @cindex upload sieve script
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
128 Upload the Sieve script to the currently open server.
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 @end table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
131
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 @node Managing Sieve
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
134 @chapter Managing Sieve
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 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
137 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
138 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
139 credentials to use.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
140
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
141 When a server has been successfully contacted, the Manage Sieve buffer
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
142 looks something like:
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
143
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
144 @example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
145 Server : mailserver:2000
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 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
148 press RET on <new script> to create a new script.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
149 <new script>
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
150 ACTIVE .sieve
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
151 template.siv
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
152 @end example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
153
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
154 One of the scripts are highlighted, and standard point navigation
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
155 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
156 list.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
157
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
158 The following commands are available in the Manage Sieve buffer:
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 @table @kbd
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
161
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
162 @item m
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
163 @kindex m
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
164 @findex sieve-activate
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
165 Activates the currently highlighted script.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
166
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
167 @item u
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
168 @kindex u
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
169 @findex sieve-deactivate
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
170 Deactivates the currently highlighted script.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
171
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
172 @item C-M-?
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
173 @kindex C-M-?
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
174 @findex sieve-deactivate-all
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
175 Deactivates all scripts.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
176
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
177 @item r
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
178 @kindex r
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
179 @findex sieve-remove
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
180 Remove currently highlighted script.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
181
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
182 @item RET
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
183 @item mouse-2
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
184 @item f
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
185 @kindex RET
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
186 @kindex mouse-2
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
187 @kindex f
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
188 @findex sieve-edit-script
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
189 Bury the server buffer and download the currently highlighted script
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
190 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
191
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
192 @item o
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
193 @kindex o
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
194 @findex sieve-edit-script-other-window
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
195 Create a new buffer in another window containing the currently
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
196 highlighted script 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 q
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
199 @kindex q
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
200 @findex sieve-bury-buffer
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
201 Bury the Manage Sieve buffer without closing the connection.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
202
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
203 @item ?
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
204 @item h
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
205 @kindex ?
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
206 @kindex h
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
207 @findex sieve-help
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
208 Displays help in the minibuffer.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
209
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
210 @end table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
211
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
212 @node Examples
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
213 @chapter Examples
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
214
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
215 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
216 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
217 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
218 scratch.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
219
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
220 The following complete Sieve script places all messages with a matching
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
221 @samp{Sender:} header into the given mailbox. Many mailing lists uses
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
222 this format. The first line makes sure your Sieve server understands
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
223 the @code{fileinto} command.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
224
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
225 @example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
226 require "fileinto";
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
227
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
228 if address "sender" "owner-w3-beta@@xemacs.org" @{
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
229 fileinto "INBOX.w3-beta";
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 @end example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
232
85712
a3c27999decb Update Gnus to No Gnus 0.7 from the Gnus CVS trunk
Miles Bader <miles@gnu.org>
parents: 84329
diff changeset
233 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
234 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
235 complete script, it assumes that @code{fileinto} has already been
84315
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
236 required.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
237
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
238 @example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
239 if header :contains "Delivered-To" "auc-tex@@sunsite.dk" @{
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
240 fileinto "INBOX.auc-tex";
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
241 @}
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
242 @end example
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 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
245 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
246 @samp{Cc} headers. As before, this snippet assumes that @code{fileinto}
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
247 has been required.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
248
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
249 @example
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
250 if address ["to", "cc"] "kerberos@@mit.edu" @{
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
251 fileinto "INBOX.kerberos";
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
252 @}
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
253 @end example
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 @node Manage Sieve API
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
256 @chapter Manage Sieve API
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
257
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
258 The @file{sieve-manage.el} library contains low-level functionality
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
259 for talking to a server with the @sc{managesieve} protocol.
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 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
262 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
263
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
264 @table @code
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
265
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
266 @item sieve-manage-default-user
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
267 @vindex sieve-manage-default-user
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
268 Sets the default username.
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 @item sieve-manage-default-port
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
271 @vindex sieve-manage-default-port
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
272 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
273
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
274 @item sieve-manage-log
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
275 @vindex sieve-manage-log
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
276 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
277 is dumped (for debugging purposes).
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
278
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
279 @end table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
280
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
281 The API functions include:
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
282
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
283 @table @code
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 @item sieve-manage-open
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
286 @findex sieve-manage-open
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
287 Open connection to managesieve server, returning a buffer to be used
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
288 by all other API functions.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
289
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
290 @item sieve-manage-opened
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
291 @findex sieve-manage-opened
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
292 Check if a server is open or not.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
293
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
294 @item sieve-manage-close
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
295 @findex sieve-manage-close
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
296 Close a server connection.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
297
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
298 @item sieve-manage-authenticate
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
299 @findex sieve-manage-authenticate
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
300 Authenticate to the server.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
301
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
302 @item sieve-manage-capability
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
303 @findex sieve-manage-capability
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
304 Return a list of capabilities the server supports.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
305
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
306 @item sieve-manage-listscripts
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
307 @findex sieve-manage-listscripts
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
308 List scripts on the server.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
309
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
310 @item sieve-manage-havespace
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
311 @findex sieve-manage-havespace
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
312 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
313 size.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
314
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
315 @item sieve-manage-getscript
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
316 @findex sieve-manage-getscript
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
317 Download script from server.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
318
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
319 @item sieve-manage-putscript
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
320 @findex sieve-manage-putscript
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
321 Upload script to server.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
322
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
323 @item sieve-manage-setactive
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
324 @findex sieve-manage-setactive
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
325 Indicate which script on the server should be active.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
326
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
327 @end table
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 @node Standards
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
330 @chapter Standards
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
331
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
332 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
333 hopefully growing number of RFCs and drafts documents. This chapter
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
334 lists the relevant ones. They can all be fetched from
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
335 @uref{http://quimby.gnus.org/notes/}.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
336
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
337 @table @dfn
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
338
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
339 @item RFC3028
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
340 Sieve: A Mail Filtering Language.
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
341
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
342 @item draft-martin-managesieve-03
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
343 A Protocol for Remotely Managing Sieve Scripts
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 @end table
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
346
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
347 @node GNU Free Documentation License
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
348 @appendix GNU Free Documentation License
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
349 @include doclicense.texi
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 @node Index
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
352 @unnumbered Index
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
353 @printindex cp
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
354
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
355 @summarycontents
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
356 @contents
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
357 @bye
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
358
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
359 @c End:
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 @ignore
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
362 arch-tag: 6e3ad0af-2eaf-4f35-a081-d40f4a683ec3
c357f5976b9a Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
363 @end ignore