[gnome-db]offline manuals

[Rodrigo Moya <rodrigo gnome-db org>]

Hi all!

I've just uploaded to www.gnome-db.org all the offline manuals (PDF, PS,
html.tar.gz) for both libgda and gnome-db.

But, the automatic generation of these files does not work on that
machine (although in mine it works perfectly well). The error message is
in the attached file.

Any ideas

cheers

db2pdf gnome-db.sgml
This is pdfTeX, Version 3.14159-13d (Web2C 7.3.1)
(gnome-db.tex[/usr/share/texmf/pdftex/config/pdftex.cfg]
JadeTeX 1999/06/29: 2.7
(/usr/share/texmf/tex/latex/psnfss/t1ptm.fd)
(/usr/share/texmf/tex/jadetex/isoents.tex
! TeX capacity exceeded, sorry [hash size=10000].
l.1417 \expandafter\def\csname EntnvDash\endcsname
                                                  {\ensuremath{\nvDash}}% U2...

!  ==> Fatal error occurred, the output PDF file not finished!
Transcript written on gnome-db.log.
make[3]: Leaving directory `/home/rodrigo/src/gnome-db/www/docs/manual/gnome-db'
make[3]: Entering directory `/home/rodrigo/src/gnome-db/www/docs/manual'
make[3]: *** No rule to make target `libgda/libgda.pdf', needed by `libgda-manual.pdf'.  Stop.
make[3]: Leaving directory `/home/rodrigo/src/gnome-db/www/docs/manual'
make[2]: *** [all-recursive] Error 1
make[2]: Leaving directory `/home/rodrigo/src/gnome-db/www/docs/manual'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/rodrigo/src/gnome-db/www/docs'
make: *** [all-recursive] Error 1