--- rpl/Makefile.am 2011/12/05 09:19:14 1.42 +++ rpl/Makefile.am 2012/01/18 10:57:40 1.43 @@ -267,7 +267,7 @@ debian: install $(MKDIR_P) $(top_builddir)/debian/$(prefix)/$$j; \ for i in gpp.1 mkrplso.1 rpl.1 rplcc.1 rpllink.1 rplpp.1 rpltags.1; \ do \ - if [ -f $(prefix)/$$j/$$i ]; then \ + if [ -f $(prefix)/$$j/$$i ]; then \ cp -f $(prefix)/$$j/$$i $(top_builddir)/debian/$(prefix)/$$j; \ fi; \ done; \