--- Makefile.distrib	2007/07/10 18:30:19	1194
+++ Makefile.distrib	2007/07/10 18:30:24	1195
@@ -86,13 +86,12 @@
 endif
 
 install: all install_lib
-	mkdir -p $(BINDIR)
-	mkdir -p $(MANDIR)/man1
-	$(INSTALL) -m755 cduce$(EXE) dtd2cduce$(EXE) \
+	$(HIDE)mkdir -p $(BINDIR)
+	$(HIDE)mkdir -p $(MANDIR)/man1
+	@echo "Install binaries"
+	$(HIDE)$(INSTALL) -m755 cduce$(EXE) dtd2cduce$(EXE) \
                          validate$(EXE) cdo2ml$(EXE) $(BINDIR)/
-	$(INSTALL) -m644 doc/cduce.1 $(MANDIR)/man1/
-	$(INSTALL) -m644 doc/dtd2cduce.1 $(MANDIR)/man1/
-	$(INSTALL) -m644 doc/validate.1 $(MANDIR)/man1/
+	$(HIDE)(cd doc; $(MAKE) install INSTALL=$(INSTALL) MANDIR=$(MANDIR) HIDE=$(HIDE))
 
 install_lib:
 	@echo "Build META"
@@ -101,10 +100,10 @@
 	$(HIDE)echo 'description="Runtime support for CDuce"' >> META
 	$(HIDE)echo 'archive(byte)="cduce_lib.cma"' >> META
 	$(HIDE)echo 'archive(native)="cduce_lib.cmxa"' >> META
-	-$(OCAMLFIND) remove cduce
-	-$(OCAMLFIND) install cduce META \
-         cduce_lib.cmi cduce_lib.cmi \
-	 $(wildcard *.cma) $(wildcard *.cmxa) $(wildcard *.a)
+	$(HIDE)-$(OCAMLFIND) remove cduce
+	$(HIDE)-$(OCAMLFIND) install cduce META \
+         cduce_lib.cmi $(wildcard *.cma) $(wildcard *.cmxa) $(wildcard *.a) \
+
 
 uninstall:
 	rm -f $(BINDIR)/cduce$(EXE) $(BINDIR)/dtd2cduce$(EXE) \