X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2FREADME;h=ed632c09d8ef792662da79c6a99969e8507f6221;hb=ca2c85799ac5e86ba2d93a6b0628648177984e21;hp=a12758f26ebd43ecc7f177a65817dad90721189c;hpb=2eb8cfaa432909df72de80fa099bfd9391c73597;p=pspp

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`