===================================================================
RCS file: /home/cvs/OpenXM/misc/packages/Linux/Debian/debian/rules,v
retrieving revision 1.2
retrieving revision 1.5
diff -u -p -r1.2 -r1.5
--- OpenXM/misc/packages/Linux/Debian/debian/rules	2003/02/22 06:10:25	1.2
+++ 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:
@@ -59,7 +59,7 @@ install: build
 	-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