logo       

Re: Sawfish.desktop isn't installed: msg#00190

window-managers.sawfish

Subject: Re: Sawfish.desktop isn't installed

Christian Marillat writes:
|John I don't understand this code in Makefile.in :
|
| if [ -d $(DESTDIR)$(GNOMEDIR)/share/gnome/wm-properties ]; then \
| rm -f
$(DESTDIR)$(GNOMEDIR)/share/gnome/wm-properties/Sawmill.desktop; \
| $(INSTALL_DATA) $(srcdir)/Sawfish.desktop
$(DESTDIR)$(GNOMEDIR)/share/gnome/wm-properties; \
| fi
|
|Why the test for the /share/gnome/wm-properties directory ?

I can't remember for sure - probably to avoid installing that file
unless GNOME is also installed..

John





<Prev in Thread] Current Thread [Next in Thread>
Google Custom Search

News | FAQ | advertise