From a6c56aa458ec5ace1da4b178dc4d786917df416a Mon Sep 17 00:00:00 2001
From: sperber <sperber>
Date: Tue, 21 Jan 2003 10:41:39 +0000
Subject: [PATCH] Ensure some spaces after \sharpf.

---
 doc/scsh-manual/network.tex | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/doc/scsh-manual/network.tex b/doc/scsh-manual/network.tex
index 396c8ba..edf6a5f 100644
--- a/doc/scsh-manual/network.tex
+++ b/doc/scsh-manual/network.tex
@@ -296,14 +296,14 @@ shutdown/sends+receives\end{code}
 
 \section{Performing input and output on sockets}
 
-\defun  {receive-message} {socket length [flags]} {[string-or-\sharpf socket-address]}
+\defun  {receive-message} {socket length [flags]} {[string-or-\sharpf{} socket-address]}
 \dfnix  {receive-message!} {socket string [start] [end] [flags]}
-        {[count-or-\sharpf  socket-address]}{procedure}
+        {[count-or-\sharpf{}  socket-address]}{procedure}
         {receive-message"!@\texttt{receive-message"!}}
 \defunx {receive-message/partial} {socket length [flags]}
-         {[string-or-\sharpf socket-address]}
+         {[string-or-\sharpf{} socket-address]}
 \dfnix {receive-message!/partial} {socket string [start] [end] [flags]}
-        {[count-or-\sharpf socket-address]}{procedure}
+        {[count-or-\sharpf{} socket-address]}{procedure}
         {receive-message"!/partial@\texttt{receive-message"!/partial}}
 \defun  {send-message} {socket string [start] [end] [flags] [socket-address]}
         \undefined