Clarify that CRLF means "A CR then an LF". Explain what those are.

Apparently this is not as obvious as I thought.

diff --git a/doc/spec/control-spec.txt b/doc/spec/control-spec.txt
index 7d3312a5a8c42767615b63094fcb53667ab6a69c..9ae51b0a1bfb4bcc7b4ee67343e18ed4d566a1b0 100644 (file)
--- a/doc/spec/control-spec.txt
+++ b/doc/spec/control-spec.txt
@@ -87,6 +87,10 @@
 
 2.4. General-use tokens
 
+  ; CRLF means, "the ASCII Carriage Return character (decimal value value 13)
+  ; followed by the ASCII Linefeed character (decimal value 10)."
+  CRLF = CR LF
+
   ; Identifiers for servers.
   ServerID = Nickname / Fingerprint