summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--KEP-0014.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/KEP-0014.txt b/KEP-0014.txt
index 0037bfc..2d8f1f6 100644
--- a/KEP-0014.txt
+++ b/KEP-0014.txt
@@ -106,7 +106,7 @@ MASTER, [[#MANAGEMENT|MANAGEMENT]] and [[#USER|USER]] '''SHALL''' be receiving t
MANAGEMENT is the script written by the management system of the platform, USER is the script intended for controling the execution of individual scripts by a user. General sieve editors available to users and platform management systems '''MUST NOT''' alter this script.
=== MANAGEMENT ===
-Management systems '''SHALL''' define the variables 'MANAGEMENT_SYSTEM' and 'MANAGEMENT_SYSTEM_VERSION' through comments '# MANAGEMENT_SYSTEM: <value>' and '# MANAGEMENT_SYSTEM_VALUES: <value>' in the comment block above the first Sieve script commands.
+Management systems '''SHALL''' define the variables 'MANAGEMENT_SYSTEM' and 'MANAGEMENT_SYSTEM_VERSION' through comments '# MANAGEMENT_SYSTEM: <value>' and '# MANAGEMENT_SYSTEM_VERSION: <value>' in the comment block above the first Sieve script commands.
Otherwise management systems are free to write to each user's MANAGEMENT script as required and appropriate.