Re: Web manual out-dated?

[Karl Berry]

    1) You need a checkout of the texinfo/util directory. (Actually only
       2 files in this directory are needed.)

And they are copied (synced) into gnulib.

karl