diff options
| -rw-r--r-- | doc/manual.cli | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/doc/manual.cli b/doc/manual.cli index ccd1498..e760cd9 100644 --- a/doc/manual.cli +++ b/doc/manual.cli @@ -42,9 +42,13 @@ lpt1 lpt2 lpt3 lpt4 lpt5 lpt6 lpt7 lpt8 lpt9 || -The use of dot (\c{.}) and plus (\c{+}) characters in package names is -discouraged. \N{Pluses are used in URL encoding and dots normally separate the -name from its extension/type which, conceptually, package names do not have.} +The use of the plus (\c{+}) character in package names is discouraged. +\N{Pluses are used in URL encoding which makes specifying packages that +contain pluses in URLs cumbersome.} + +The use of the dot (\c{.}) character in package names is discouraged except +for distinguishing the implementations of the same functionality for different +languages. \N{For example, \c{libfoo} and \c{libfoo.bash}.} Package name comparison is case-insensitive but the original case must be preserved for display, in file names, etc. \N{The reason for case-insensitive |