MANUAL: update a dict-using command line

The 'web1913' database is now invalid, use 'gcide' instead.

diff --git a/docs/MANUAL.md b/docs/MANUAL.md
index 73ce57d44aa94da9958a43404038ebdd44818214..7063dbc8b12f7f0dd87b8b2709ee1d4100572bc2 100644 (file)
--- a/docs/MANUAL.md
+++ b/docs/MANUAL.md
@@ -745,7 +745,7 @@ For fun try
 
     curl dict://dict.org/m:curl
     curl dict://dict.org/d:heisenbug:jargon
-    curl dict://dict.org/d:daniel:web1913
+    curl dict://dict.org/d:daniel:gcide
 
 Aliases for 'm' are 'match' and 'find', and aliases for 'd' are 'define' and
 'lookup'. For example,