--- 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