From a5d31a195d1e3b682cd57d88a5db7ef0ffa5d492 Mon Sep 17 00:00:00 2001
From: Timo Sirainen <cras@irssi.org>
Date: Sun, 18 Jun 2000 01:18:12 +0000
Subject: Changed option handling in /commands. Irssi will now complain about
 unknown options and missing option arguments.

Renamed /SERVER -add, -remove and -list to /SERVER ADD, REMOVE and LIST.


git-svn-id: http://svn.irssi.org/repos/irssi/trunk@365 dbcabf3a-b0e7-0310-adc4-f8d773084564
---
 docs/formats.txt |  7 +++++++
 docs/manual.txt  | 14 +++++++-------
 2 files changed, 14 insertions(+), 7 deletions(-)

(limited to 'docs')

diff --git a/docs/formats.txt b/docs/formats.txt
index 633b0e42..cda7d422 100644
--- a/docs/formats.txt
+++ b/docs/formats.txt
@@ -1,3 +1,6 @@
+
+ Irssi's colors that you can use in text formats etc. :
+
                            text            text            background
    ---------------------------------------------------------------------
    %k      %K      %0      black           bold black      black
@@ -17,3 +20,7 @@
    %|                      Marks the indentation position
    %%                      A single %
 
+ MIRC colors that you can use when writing text to channel and with
+ hilighting text:
+
+ FIXME: list them :)
diff --git a/docs/manual.txt b/docs/manual.txt
index da5a4f9c..62ffa8df 100644
--- a/docs/manual.txt
+++ b/docs/manual.txt
@@ -394,7 +394,7 @@
 	network and Irssi will pick the server for you.
 
 	You don't need to specify the IRC network, password, nick, etc. if
-	you setup the server using /SERVER -add (see next section). If the
+	you setup the server using /SERVER ADD (see next section). If the
 	settings can't be found there either, Irssi will use the defaults:
 
 	/SET default_nick = <nick>, defaults to user_name
@@ -424,9 +424,9 @@
 
  5.4 Server settings
 
-	/SERVER -add [-auto | -noauto] [-ircnet <ircnet>] [-host <hostname>]
-	             [-cmdspeed <ms>] [-cmdmax <count>] [-port <port>]
-		     <address> [<port> [<password>]]
+	/SERVER ADD [-auto | -noauto] [-ircnet <ircnet>] [-host <hostname>]
+	            [-cmdspeed <ms>] [-cmdmax <count>] [-port <port>]
+	            <address> [<port> [<password>]]
 
 	    -auto: Automatically connect to server at startup (default)
 	    -noauto: Don't connect to server at startup
@@ -437,9 +437,9 @@
 	    -port: This is pretty much like the port argument later, except
 	           this can be used to modify existing server's port.
 
-	/SERVER -remove <address> [<port>]
+	/SERVER REMOVE <address> [<port>]
 
-	/SERVER -list
+	/SERVER LIST
 
 	Servers are identified by their name and port. You can have multiple
 	entries for the same server name but in different ports. This is
@@ -450,7 +450,7 @@
 	-port command. For example if you had irc.server.org in port 6667
 	and you wanted to change it to port 6668, use command:
 
-	/SERVER -add -port 6668 irc.server.org 6667
+	/SERVER ADD -port 6668 irc.server.org 6667
 
 	If you want to remove some settings from existing server, for
 	example hostname, just give -host "" parameters to it.
-- 
cgit v1.2.3