* pathnames.sgml (mount-table): Add missing slash in pathname.

diff --git a/winsup/doc/ChangeLog b/winsup/doc/ChangeLog
index c737e4f8f8e17ce9ee37e0b2f661aba6503ce4b7..4c9281a1c693aebde1c09abcc15faec14c7cdfed 100644 (file)
--- 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 f909bd533d7ab6aa95947e0c8ef773a988b5f7ec..f6aa84fcdc055a8bdc0d715e71727fd3f4592388 100644 (file)
--- 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.