[Fwd: Re: texi2dvi: Beware of local, and find DVIPS figures]

[Paulo Sequeira]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Forwarding the message below to the list...

- -------- Mensaje original --------
Asunto: Re: texi2dvi: Beware of local, and find DVIPS figures
Fecha: Wed, 25 Jul 2007 22:36:51 -0600
De: Paulo Sequeira
A: Akim Demaille

Akim Demaille escribió:
>>>> "Karl" == Karl Berry writes:
>
>  > For bootstrapping, it's usually gnulib madness;
>  > gnulib-tool --update might help.  I just updated CVS again with the
>  > latest gnulib.
>
> But where is that gnulib-tool stuff?  The README.dev say to run it
> from the top-level, but I don't have such a tool.

Well, I recently started to make my way through texinfo's sources from a
CVS checkout. I must admit that README.dev, though very short, was
somewhat puzzling for me, specially the part of gnulib. So, I think the
following may be of some help for you.

CVSROOT for gnulib is

   :pserver:address@hidden:/cvsroot/gnulib

so you can check it out with

   $ cvs -d :pserver:address@hidden:/cvsroot/gnulib checkout gnulib

however, the next step came as a surprise for me, as I just jumped to
gnulib's top level dir and typed the command suggested in README.dev:

   $ pwd
   /home/paulo/mydocs/norsync/gnulib

   $ ./gnulib-tool --update
   gnulib-tool: *** cannot find ./configure.ac
   gnulib-tool: *** Stop.

after a while, I figured out what was going out: I checked out texinfo
and gnulib modules in the same directory, thus

   $ pwd
   /home/paulo/mydocs/norsync

   $ vdir
   total 0
   drwxr-xr-x+ 12 paulo None 0 Jul 25 18:33 gnulib
   drwxr-xr-x+ 14 paulo None 0 Jul 25 19:30 texinfo

at this point, I could do one of two things:

   $ cd texinfo/

   $ ../gnulib/gnulib-tool --update

or

   $ cd gnulib

   $ ./gnulib-tool --dir=../texinfo --update

after updating gnulib in either of the above ways, I found
texinfo/autogen.sh seemed to work ok and could build the whole thing.

Hope this helps.

Paulo
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.7 (MingW32)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGqCZROq+o4UWIycERAhViAKCb7tJSK92U/uRJjQylfuufuBtxyQCfbrtN
+vWrECXdvdLtSC8cx9J6ZRg=
=Tb5+
-----END PGP SIGNATURE-----