--- man/Makefile.in.orig	Tue Dec 28 17:21:26 1999
+++ man/Makefile.in	Tue Dec 28 17:22:17 1999
@@ -128,7 +128,7 @@
 mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
 CONFIG_HEADER = ../config.h
 CONFIG_CLEAN_FILES = 
-man1dir = $(mandir)/man1
+man1dir = $(mandir)/man3
 MANS = $(man_MANS)
 
 NROFF = nroff
@@ -162,7 +162,7 @@
 	  else file=$$i; fi; \
 	  ext=`echo $$i | sed -e 's/^.*\\.//'`; \
 	  inst=`echo $$i | sed -e 's/\\.[0-9a-z]*$$//'`; \
-	  inst=`echo $$inst | sed '$(transform)'`.$$ext; \
+	  inst=`echo $$inst | sed '$(transform)'`.3; \
 	  echo " $(INSTALL_DATA) $$file $(DESTDIR)$(man1dir)/$$inst"; \
 	  $(INSTALL_DATA) $$file $(DESTDIR)$(man1dir)/$$inst; \
 	done
