On Tue, 19 Feb 2008, Sven Schreiber wrote:
Am 19.02.2008 10:45, Riccardo (Jack) Lucchetti schrieb:
> 1) if you want to compile the tex sources for the manuals, you may want to
> use the --without-lucida switch to configure, together with
> --enable-build-doc
I think this is not necessary anymore, no?
Building the docs without the Lucida fonts is now the default.
Allin.