diff options
| -rw-r--r-- | winsup/doc/ChangeLog | 4 | ||||
| -rw-r--r-- | winsup/doc/pathnames.sgml | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/winsup/doc/ChangeLog b/winsup/doc/ChangeLog index c737e4f8f..4c9281a1c 100644 --- a/winsup/doc/ChangeLog +++ b/winsup/doc/ChangeLog @@ -1,3 +1,7 @@ +2009-12-23 Corinna Vinschen <corinna@vinschen.de> + + * pathnames.sgml (mount-table): Add missing slash in pathname. + 2009-12-14 Corinna Vinschen <corinna@vinschen.de> * faq-setup.xml (faq.setup.mirror): Fix URL to wget. diff --git a/winsup/doc/pathnames.sgml b/winsup/doc/pathnames.sgml index f909bd533..f6aa84fcd 100644 --- a/winsup/doc/pathnames.sgml +++ b/winsup/doc/pathnames.sgml @@ -225,7 +225,7 @@ The old user mount points in your HKEY_CURRENT_USER branch of the registry are not used to generate <filename>/etc/fstab</filename>. If you want to create a user specific <filename>/etc/fstab.d/${USER}</filename> file from your old entries, there's a script available which does exactly -that for you, <filename>bin/copy-user-registry-fstab</filename>. Just +that for you, <filename>/bin/copy-user-registry-fstab</filename>. Just start the script and it will create your user specific fstab file. Stop all your Cygwin processes and restart them, and you can simply use your old user mount points as before. |