diff options
| author | Benjamin Pierce <bcpierce002017@gmail.com> | 2018-01-27 15:49:39 -0500 |
|---|---|---|
| committer | Benjamin Pierce <bcpierce002017@gmail.com> | 2018-01-27 15:49:39 -0500 |
| commit | 1536c9d37a33656a27b86c07a4fb2948a9758412 (patch) | |
| tree | 0c4615510df6bab9beb65b74964ce5f5e299d4d6 /src | |
| parent | aceddab87958afe7a650ad62fd9d8049c5a08efb (diff) | |
| download | unison-1536c9d37a33656a27b86c07a4fb2948a9758412.zip unison-1536c9d37a33656a27b86c07a4fb2948a9758412.tar.gz unison-1536c9d37a33656a27b86c07a4fb2948a9758412.tar.bz2 | |
Small improvement to doc string
Diffstat (limited to 'src')
| -rw-r--r-- | src/remote.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/remote.ml b/src/remote.ml index 0e9d4d3..a02e696 100644 --- a/src/remote.ml +++ b/src/remote.ml @@ -513,8 +513,9 @@ let addversionno = Prefs.createBool "addversionno" false ("!add version number to name of " ^ Uutil.myName ^ " on server") ("When this flag is set to {\\tt true}, Unison " - ^ "will use \\texttt{unison-\\ARG{currentversionnumber}} instead of " - ^ "just \\verb|unison| as the remote server command. This allows " + ^ "will use \\texttt{unison-\\ARG{currentmajorversionnumber}} instead of " + ^ "just \\verb|unison| as the remote server command (note that the minor " + ^ "version number is dropped -- e.g., unison-2.51). This allows " ^ "multiple binaries for different versions of unison to coexist " ^ "conveniently on the same server: whichever version is run " ^ "on the client, the same version will be selected on the server.") |