Don't install gnome help pages.

Index: doc/makefile.in
--- doc/makefile.in.orig
+++ doc/makefile.in
@@ -50,35 +50,21 @@ distclean : clean
 	- rm -f ${AC}
 
 install-xml :
-	mkdir -p ${prefix}/share/gnome/help/galois/C
-	cp galois.xml ${XML_DEPS} ${prefix}/share/gnome/help/galois/C
-	for L in ${XML_LOCALES} ; do \
-	    mkdir -p ${prefix}/share/gnome/help/galois/$$L ;\
-	    cp galois-$$L.xml \
-	       ${prefix}/share/gnome/help/galois/$$L/galois.xml ;\
-	    ( cd ${prefix}/share/gnome/help/galois/$$L ;\
-	      for D in ${XML_DEPS} ; do \
-	          ln -fs ../C/$$D . ;\
-	      done ) ;\
-	done
 
 install-html :
 	mkdir -p ${prefix}/share/doc/galois
 	cp ${HTML} ${HTML_DEPS} ${prefix}/share/doc/galois
 
 install-man :
-	mkdir -p ${prefix}/share/man/man6
-	cp galois.6 ${prefix}/share/man/man6
-	gzip -9 -f ${prefix}/share/man/man6/galois.6
+	install -d ${prefix}/man/man6
+	install -c -S -m 644 galois.6 ${prefix}/man/man6
+
 	for L in ${MAN_LOCALES} ; do \
-	    mkdir -p ${prefix}/share/man/$$L/man6 ;\
-	    cp galois-$$L.6 ${prefix}/share/man/$$L/man6/galois.6 ;\
-	    gzip -9 -f ${prefix}/share/man/$$L/man6/galois.6 ;\
+	    install -d ${prefix}/man/$$L/man6 ;\
+	    install -c -S -m 644 galois-$$L.6 ${prefix}/man/$$L/man6/galois.6 ;\
 	done
 
 install-omf :
-	mkdir -p ${prefix}/share/omf/galois
-	cp ${OMF} ${prefix}/share/omf/galois
 
 install-pdf :
 	mkdir -p ${prefix}/share/doc/galois
