diff options
Diffstat (limited to 'devel/mico/files/patch-Makefile')
| -rw-r--r-- | devel/mico/files/patch-Makefile | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/devel/mico/files/patch-Makefile b/devel/mico/files/patch-Makefile deleted file mode 100644 index c08f12bfb864..000000000000 --- a/devel/mico/files/patch-Makefile +++ /dev/null @@ -1,15 +0,0 @@ ---- Makefile.orig 2008-07-25 15:41:44.000000000 +0200 -+++ Makefile 2014-11-01 11:24:25.000000000 +0100 -@@ -76,10 +76,9 @@ - install: - for i in $(INSTALLDIRS); do $(MAKE) -C $$i install || exit 1; done - if test -f doc/doc.ps; then \ -- $(IDIRCMD) $(SHARED_INSTDIR)/doc/mico; \ -- $(IMANCMD) doc/doc.ps $(SHARED_INSTDIR)/doc/mico/manual.ps; \ -+ $(IDIRCMD) $(SHARED_INSTDIR)/share/doc/mico; \ -+ $(IMANCMD) doc/doc.ps $(SHARED_INSTDIR)/share/doc/mico/manual.ps; \ - fi -- $(LDCONFIG) - - install-cd: - for i in $(INSTALLDIRS); do $(MAKE) -C $$i install-cd || exit 1; done |