diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2018-07-05 14:00:39 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2018-07-05 14:00:39 +0300 |
commit | 57621f681bbba48aee65f5a8d629d7aae527635b (patch) | |
tree | edbf13177db40dc018174e163b27a130d241cced /doc/manual.cli | |
parent | 9be433ac34057a2c9c1757ec41f8b3f6361f98dc (diff) |
Adapt to prerequisite repository type guessing rules change
Diffstat (limited to 'doc/manual.cli')
-rw-r--r-- | doc/manual.cli | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/manual.cli b/doc/manual.cli index 5e2effe..3f05aa0 100644 --- a/doc/manual.cli +++ b/doc/manual.cli @@ -1117,11 +1117,6 @@ both contexts, the \cb{.git} extension should be ignored if the local prerequisite repository with the extension does not exist while the one without the extension does. -For the \cb{dir} repository type the relative location may also contain the -URL fragment to make the same repository information usable in case the base -and prerequisites are also exposed as \cb{git} repositories. For the \cb{dir} -repository type such a fragment is ignored. - While POSIX systems normally only support POSIX paths (that is, forward slashes only), Windows is generally able to handle both slash types. As a result, it is recommended that POSIX paths are always used in the \c{location} |