On Thu, Sep 25, 2014 at 01:13:19AM +0200, Bertrand Garrigues wrote:
> Hi Ulrich,
> Hm ... I see no obvious mistake in your commands, and could not
> reproduce the problem. I have no idea of what's going on. Could you
> please apply the attached patch to trace the error we have when
> attempting to open the DESC file ?
>
I made some research and found:
1.
with
./configure; make
./configure --prefix=/home/privat/groff_test; make; make install
groff_test/bin/groff -v
I get
Failed to open /usr/local/share/groff/site-font/devps/DESC:
No such file or directory
Failed to open /usr/local/share/groff/1.22.2/font/devps/DESC:
No such file or directory
Failed to open /usr/lib/font/devps/DESC: No such file or directory
This may be a fault on my side, not to use "make clean" after changing the
prefix; or missing dependencies?
2.
I then tried
make clean; ./configure --prefix=/home/privat/groff_test; make;
make install
and got
Failed to open /home/privat/groff_test/share/groff/site-font/devps/DESC:
No such file or directory
3.
Finally I did
make distclean; ./configure --prefix=/home/privat/groff_test; make;
make install
and got the same result:
Failed to open /home/privat/groff_test/share/groff/site-font/devps/DESC:
No such file or directory
The directory /home/privat/groff_test/share/groff/site-font exists, but is
empty.
The needed DESC-file is in groff_test/share/groff/1.22.2/font/devps,
not in groff_test/share/groff/site-font/devps
Cheers,
ulrich
