[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] pkl: don't use ':' as a path separator if it's denoting a wi
From: |
Hannes Domani |
Subject: |
Re: [PATCH] pkl: don't use ':' as a path separator if it's denoting a windows drive |
Date: |
Thu, 15 Feb 2024 17:05:42 +0000 (UTC) |
Am Donnerstag, 15. Februar 2024 um 17:46:30 MEZ hat Jose E. Marchesi
<jemarch@gnu.org> Folgendes geschrieben:
> Hi Hannes.
>
> Thanks for the patch.
>
> I think this needs a documentation update, i.e. to be mentioned in the
> manual (poke.texi)...
Does the following work?
diff --git a/doc/poke.texi b/doc/poke.texi
index cff0748d..f7934307 100644
--- a/doc/poke.texi
+++ b/doc/poke.texi
@@ -7941,6 +7941,9 @@ sequential order for the file corresponding to the
requested module.
Empty directory names and entries that do not name existing
directories are ignored.
+On Windows, colon characters (@code{:}) that are part of a drive
+designation, like @code{c:/}, are not used as directory separators.
+
Some entries have special meanings:
@table @code