summaryrefslogtreecommitdiff
path: root/man/pump.1
diff options
context:
space:
mode:
authorfergus.henderson <fergus.henderson@01de4be4-8c4a-0410-9132-4925637da917>2008-08-06 15:37:15 +0000
committerfergus.henderson <fergus.henderson@01de4be4-8c4a-0410-9132-4925637da917>2008-08-06 15:37:15 +0000
commit212aeff2090bc7636ff2bd5f5263ec51a90ac773 (patch)
tree8b55e488378d1787d3c79a1fcd147d279c06568a /man/pump.1
parent415077959c94bc9b0cce7cc6ab1c5139d8841a4d (diff)
downloaddistcc-212aeff2090bc7636ff2bd5f5263ec51a90ac773.tar.gz
Some final documentation updates before 3.0.
In the distcc man page: - remove description of a bug that's been fixed now (distcc issue 7) - make it a little clearer that in pump mode we don't ship the header files from the default system header directories to the server - add a new section header "RESTRICTIONS OF PUMP MODE" - some typographical corrections. In the pump man page: - add a prominent pointer to the distcc man page, in particular to the "RESTRICTIONS OF PUMP MODE" section. Reviewers: Craig Silverstein git-svn-id: http://distcc.googlecode.com/svn/trunk@598 01de4be4-8c4a-0410-9132-4925637da917
Diffstat (limited to 'man/pump.1')
-rw-r--r--man/pump.111
1 files changed, 11 insertions, 0 deletions
diff --git a/man/pump.1 b/man/pump.1
index 08ecca6..11da428 100644
--- a/man/pump.1
+++ b/man/pump.1
@@ -23,6 +23,17 @@ It is used for distcc's pump mode.
Distcc's pump mode accelerates remote compilation with distcc
by also distributing preprocessing to the servers.
.PP
+For a detailed description of pump mode, including most notably some
+.B important restrictions,
+see the
+.BR distcc(1)
+man page, in particular the
+.B HOW PUMP-MODE WORKS
+section
+and the
+.B RESTRICTIONS ON PUMP MODE
+section.
+.PP
The simplest usage is the form
.RS
.B pump