diff options
author | Simon Josefsson <simon@josefsson.org> | 2008-11-20 16:23:40 +0100 |
---|---|---|
committer | Simon Josefsson <simon@josefsson.org> | 2008-11-20 16:23:40 +0100 |
commit | f42ef8e521922f40030af8b005114a44b1a15211 (patch) | |
tree | 81bd4c289ca70cf8338d9e70b44ee2c848cf0893 /doc/README | |
parent | 2eb8cfaa432909df72de80fa099bfd9391c73597 (diff) | |
download | gnulib-f42ef8e521922f40030af8b005114a44b1a15211.tar.gz |
Typo.
Diffstat (limited to 'doc/README')
-rw-r--r-- | doc/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/README b/doc/README index a12758f26e..ed632c09d8 100644 --- a/doc/README +++ b/doc/README @@ -17,7 +17,7 @@ How to update gnulib manual on www.gnu.org especially the note about symlinks. 3) Assuming GNULIB_CHECKOUT refers to a checkout of the gnulib dir, - and GNULIB_WWW_CHECKOUT refers to the other directory created above (2), + and GNULIB_WWW_CHECKOUT refers to the other directory created above (1), do GNULIB_WWW_CHECKOUT=`cd $GNULIB_WWW_CHECKOUT && pwd` |