The missing include_server(1) man page and additional material about the basic

assumptions of distcc-pump added to man/distcc.1 as well. The BUGS section
of distcc.1 has been updated.

A spelling error correction is made to man/distcc.1. 

The pump.in script is changed so that it does not introduce other certain
defaults than those mentioned in the manual (which are those of the of include
server).

Finally, I changed the order of the options in the include server source code to
be alphabetical in accordance with include_server(1) man page.

Reviewers: fergus, csilvers.

1 files changed, 0 insertions, 2 deletions

diff --git a/pump.in b/pump.in
index 9311323..be0f688 100755
--- a/pump.in
+++ b/pump.in
@@ -281,8 +281,6 @@ StartIncludeServer() {
         "'$include_server'"            \
         --port "'$socket'"             \
         --pid_file "'$tmp_pid_file'"   \
-        --email                        \
-        --email_bound=5                \
         -d1                            \
         $INCLUDE_SERVER_ARGS
   )