===================================================================
RCS file: /home/cvs/OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.2/pkg/INSTALL,v
retrieving revision 1.3
retrieving revision 1.5
diff -u -p -r1.3 -r1.5
--- OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.2/pkg/INSTALL	2000/03/04 07:25:35	1.3
+++ OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.2/pkg/INSTALL	2000/03/11 01:38:45	1.5
@@ -1,5 +1,5 @@
 #!/bin/sh
-# $OpenXM: OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.2/pkg/INSTALL,v 1.2 2000/03/04 04:00:48 takayama Exp $
+# $OpenXM: OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.2/pkg/INSTALL,v 1.4 2000/03/06 04:29:02 takayama Exp $
 # If you change this, modify Makefile/ post-install, too.
 echo "pkg/INSTALL script"
 echo -n "PKG_PREFIX is "
@@ -8,5 +8,11 @@ if [ $2 = "PRE-INSTALL" ] ; then
 	(/bin/rm -rf $PKG_PREFIX/OpenXM ; mkdir $PKG_PREFIX/OpenXM ; mkdir $PKG_PREFIX/OpenXM/lib ; mkdir $PKG_PREFIX/OpenXM/lib/sm1 ; mkdir $PKG_PREFIX/OpenXM/lib/sm1/bin ) 
 fi
 if [ $2 = "POST-INSTALL" ] ; then
-	(cd $PKG_PREFIX/OpenXM/rc ; make clean ; make install PREFIX=$PKG_PREFIX)
+	(cd $PKG_PREFIX/OpenXM/rc ; make clean ; make install PREFIX=$PKG_PREFIX) ;
+	cp $PKG_PREFIX/OpenXM/man/man1/sm1.1 $PKG_PREFIX/man/man1 ;
+	cp $PKG_PREFIX/OpenXM/man/man1/openxm.1 $PKG_PREFIX/man/man1 ;
+	gzip -f $PKG_PREFIX/man/man1/sm1.1 $PKG_PREFIX/man/man1/openxm.1 ;
+	if [ -f /var/tmp/asir_key.save ] ; then
+		cp -f /var/tmp/asir_key.save $PKG_PREFIX/OpenXM/lib/asir/asir_key ;
+    fi ;
 fi