Cross-reference Event Log and logfile docs.

diff --git a/doc/using.but b/doc/using.but
index 893c1d7e37fdbe2562e50c8b7134a204fb8af026..1fd38f4390db807089990c4610df2752c402c4c8 100644 (file)
--- a/doc/using.but
+++ b/doc/using.but
@@ -121,6 +121,9 @@ and hit the Copy button to copy them to the \i{clipboard}. If you
 are reporting a bug, it's often useful to paste the contents of the
 Event Log into your bug report.
 
+(The Event Log is not the same as the facility to create a log file
+of your session; that's described in \k{using-logging}.)
+
 \S2{using-specials} \ii{Special commands}
 
 Depending on the protocol used for the current session, there may be