3 --- Makefile.in.orig 2009-07-07 18:46:23.000000000 +0200
5 @@ -125,19 +125,19 @@ distclean-hdr:
9 - $(mkinstalldirs) $(mandir)/man1
10 + $(mkinstalldirs) ${DESTDIR}$(mandir)/man1
12 inst=`echo "splay" | sed '$(transform)'`.1; \
13 if test -f $(srcdir)/splay.1; then file=$(srcdir)/splay.1; \
14 else file=splay.1; fi; \
15 - echo " $(INSTALL_DATA) $$file $(mandir)/man$$sect/$$inst"; \
16 - $(INSTALL_DATA) $$file $(mandir)/man$$sect/$$inst
17 + echo " $(INSTALL_DATA) $$file ${DESTDIR}$(mandir)/man$$sect/$$inst"; \
18 + $(INSTALL_DATA) $$file ${DESTDIR}$(mandir)/man$$sect/$$inst
20 inst=`echo "xsplay" | sed '$(transform)'`.1; \
21 if test -f $(srcdir)/xsplay.1; then file=$(srcdir)/xsplay.1; \
22 else file=xsplay.1; fi; \
23 - echo " $(INSTALL_DATA) $$file $(mandir)/man$$sect/$$inst"; \
24 - $(INSTALL_DATA) $$file $(mandir)/man$$sect/$$inst
25 + echo " $(INSTALL_DATA) $$file ${DESTDIR}$(mandir)/man$$sect/$$inst"; \
26 + $(INSTALL_DATA) $$file ${DESTDIR}$(mandir)/man$$sect/$$inst