[Matita] Matita make install

[Enrico Tassi]

On Thu, Sep 23, 2010 at 11:11:06AM -0400, roconnor at theorem.ca wrote:
> >DESTDIR is a variable meant to be set by package-builders for linux
> >distributions to have the software installed in a place different from
> >the one it has been configured to be actually installed.
> 
> Yes, but you can see in Makefile the rule
> 
> rec@%:
>         $(MAKE) -C $(word 2, $(subst @, ,$*)) $(word 1, $(subst @, ,$*)) DESTDIR=$(shell pwd)/$(DESTDIR)
> 

Yep, you are right... This line of Makefile makes no sense. I'll erase
the "$(shell pwd)/" part, then it should work for you too.

Cheers
-- 
Enrico Tassi