--- Makefile.distrib	2007/07/10 18:16:51	1005
+++ Makefile.distrib	2007/07/10 18:17:05	1009
@@ -98,9 +98,15 @@
 	mkdir -p $(PREFIX)/man/man1/
 	$(INSTALL) -m755 cduce$(EXE) dtd2cduce$(EXE) $(PREFIX)/bin/
 	$(INSTALL) -m644 doc/cduce.1 $(PREFIX)/man/man1/
+	$(INSTALL) -m644 doc/dtd2cduce.1 $(PREFIX)/man/man1/
+	$(INSTALL) -m644 doc/validate.1 $(PREFIX)/man/man1/
 
 uninstall:
-	rm  $(PREFIX)/bin/cduce$(EXE) $(PREFIX)/bin/dtd2cduce$(EXE) $(PREFIX)/man/man1/cduce.1
+	rm  $(PREFIX)/bin/cduce$(EXE)\
+            $(PREFIX)/bin/dtd2cduce$(EXE)\ 
+            $(PREFIX)/man/man1/cduce.1\
+            $(PREFIX)/man/man1/dtd2cduce.1\
+            $(PREFIX)/man/man1/validate.1
 
 help:
 	@echo "GOALS"