3 --- Makefile.in.orig 2008-12-02 22:50:31.000000000 +0100
5 @@ -447,7 +447,7 @@ check_include_server_PY = \
7 ## NOTE: "all" must be the first (default) rule, aside from patterns.
9 -all: $(bin_PROGRAMS) pump include-server
12 # src/config.h.in is used by config.status
13 Makefile: Makefile.in src/config.h.in config.status
14 @@ -1010,7 +1010,7 @@ showpaths:
15 # tricky features so mkinstalldirs and cp will do
17 install: showpaths install-doc install-man install-programs \
18 - install-include-server install-example @INSTALL_GNOME@ install-conf
19 + install-example @INSTALL_GNOME@
21 install-programs: $(bin_PROGRAMS)
22 $(mkinstalldirs) "$(DESTDIR)$(bindir)"
23 @@ -1064,7 +1064,7 @@ install-include-server: include-server p
24 INCLUDE_SERVER=`grep '/include_server.py$$' "$(include_server_builddir)/install.log"` && \
25 sed "s,^include_server='',include_server='$$INCLUDE_SERVER'," \
26 pump > "$(include_server_builddir)/pump" && \
27 - $(INSTALL_PROGRAM) "$(include_server_builddir)/pump" "$(DESTDIR)$(bindir)"; \
28 + $(INSTALL_SCRIPT) "$(include_server_builddir)/pump" "$(DESTDIR)$(bindir)"; \
31 install-man: $(man1_MEN)