From: Simon Josefsson Date: Thu, 20 Nov 2008 15:23:40 +0000 (+0100) Subject: Typo. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f42ef8e521922f40030af8b005114a44b1a15211;p=pspp Typo. --- 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`