--- Docs/Makefile.orig	Tue Jul  8 23:23:28 2003
+++ Docs/Makefile	Tue Jul  8 23:24:48 2003
@@ -63,6 +63,7 @@
 	@echo
 
 install:
+ifndef NOPORTDOCS
 	$(INSTALL) -d $(DESTDIR)$(docdir)
 	$(INSTALL) -d $(DESTDIR)$(docdir)/sample/logo
 	$(INSTALL) -d $(DESTDIR)$(docdir)/sample/ringtone
@@ -79,10 +80,10 @@
 	$(INSTALL_DATA) $(GNOKII1_MAN) $(DESTDIR)$(man1dir)
 	$(INSTALL_DATA) $(GNOKII8_MAN) $(DESTDIR)$(man8dir)
 	if [ "x$(HAVE_XGNOKII)" = "xyes" ]; then \
-		$(INSTALL) -d $(DESTDIR)$(xmandir); \
-		$(INSTALL_DATA) $(XGNOKII_MAN) $(DESTDIR)$(xmandir); \
+		$(INSTALL) $(XGNOKII_MAN) $(DESTDIR)/$(xmandir)/xgnokii.1; \
 	fi
 	@echo "done"
+endif
 
 clean:
 	$(RM) *~