===================================================================
RCS file: /home/cvs/OpenXM/misc/packages/Linux/Debian/debian/rules,v
retrieving revision 1.1
retrieving revision 1.5
diff -u -p -r1.1 -r1.5
--- OpenXM/misc/packages/Linux/Debian/debian/rules	2000/09/27 22:52:23	1.1
+++ OpenXM/misc/packages/Linux/Debian/debian/rules	2004/02/23 23:13:47	1.5
@@ -37,7 +37,7 @@ build-stamp:
 	(export PATH=${PATH}:/usr/lib/jdk1.1/bin ;  cd OpenXM/src ;\
 		make configure ;\
 		make ;\
-		make install)
+		make install ; make install-document ; cd asir-port ; make install)
 	touch build-stamp
 
 clean:
@@ -55,11 +55,11 @@ install: build
 	dh_installdirs
 	mkdir -p ${INST_PREFIX}
 	tar cf - ${BINARY_FILES} ${SHARED_FILES}| (cd ${INST_PREFIX} ; tar xf -)
-	(cd ${INST_PREFIX}/OpenXM/bin ; make clean-for-install)
+#	(cd ${INST_PREFIX}/OpenXM/bin ; make clean-for-install)
 	-for i in $(EXECUTABLES); do strip ${INST_PREFIX}/OpenXM/bin/$$i ; done
 	make -C ${INST_PREFIX}/OpenXM/rc repl
 	sed 's/setenv OpenXM_HOME $$HOME/setenv OpenXM_HOME \/usr\/local/' <${INST_PREFIX}/OpenXM/rc/cshrc >${INST_PREFIX}/OpenXM/rc/dot.cshrc
-	sed 's/^OpenXM_HOME=$$HOME/OpenXM_HOME=\/usr\local/' <${INST_PREFIX}/OpenXM/rc/bashrc >${INST_PREFIX}/OpenXM/rc/dot.bashrc
+	sed 's/^OpenXM_HOME=$$HOME/OpenXM_HOME=\/usr\/local/' <${INST_PREFIX}/OpenXM/rc/bashrc >${INST_PREFIX}/OpenXM/rc/dot.bashrc
 	mkdir ${INST_PREFIX}/bin
 	(cd ${INST_PREFIX}/OpenXM/rc ; make openxm ; ./gen-shell-scripts ; cp ${SHELL_SCRIPTS} ../../bin )
 	#dh_movefiles