--- Docs/Makefile.orig	Thu Aug  8 23:07:58 2002
+++ Docs/Makefile	Thu Aug  8 23:08:44 2002
@@ -32,19 +32,20 @@
 	@echo
 
 install:
+ifndef NOPORTDOCS
 	$(INSTALL) -d $(DESTDIR)/$(docdir)
 	@for xxx in $(INSTALL_DOCS); do \
 	    if [ -e $$xxx ]; then \
 		$(INSTALL) -m 0444 $$xxx $(DESTDIR)/$(docdir)/$$xxx; \
 	    fi; \
 	done
+endif
 	$(INSTALL) -d $(DESTDIR)/$(man1dir)
 	$(INSTALL) -d $(DESTDIR)/$(man8dir)
 	$(INSTALL) $(GNOKII1_MAN) $(DESTDIR)/$(man1dir)
 	$(INSTALL) $(GNOKII8_MAN) $(DESTDIR)/$(man8dir)
 	if [ "x$(HAVE_XGNOKII)" = "xyes" ]; then \
-		$(INSTALL) -d $(DESTDIR)/$(xmandir); \
-		$(INSTALL) $(XGNOKII_MAN) $(DESTDIR)/$(xmandir); \
+		$(INSTALL) $(XGNOKII_MAN) $(DESTDIR)/$(xmandir)/xgnokii.1; \
 	fi
 	@echo "done"
 
