aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2018-07-13 16:05:10 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2018-07-13 16:05:10 +0200
commit3564bb3da390f2ba5ca85e8fa8a507b26afcf2ae (patch)
tree400d423c5223102a0671e841b983905586edbba3
parent5b2b72ed08f514444f05e7b42556ae096879f2e8 (diff)
Update recommendations on package naming with regard to dot
-rw-r--r--doc/manual.cli10
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