After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 341145 - $(DESTDIR) broken
$(DESTDIR) broken
Status: RESOLVED INVALID
Product: devhelp
Classification: Applications
Component: General
unspecified
Other Linux
: Normal normal
: ---
Assigned To: Mikael Hallendal
Mikael Hallendal
Depends on:
Blocks:
 
 
Reported: 2006-05-09 15:24 UTC by Tristan Van Berkom
Modified: 2007-04-19 17:27 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Tristan Van Berkom 2006-05-09 15:24:33 UTC 
make DESTDIR=`pwd`/distrib install

is broken in devhelp. seems that only the ".mo" files are
correctly installed into the relocated prefix.
Comment 1 Tristan Van Berkom 2006-05-09 15:40:41 UTC 
Sorry this is my mistake.


I've been building geckos (which should probably say it all),
and rebuilding devhelp... leaving me in an inconsistant state
(where doing make install in devhelp/src directory was resulting
in a no-op)... make maintainer-clean && rebuild fixed.
Comment 2 Matthew Barnes 2007-04-19 17:27:33 UTC 
*** Bug 431144 has been marked as a duplicate of this bug. ***