=================================================================== RCS file: /home/cvs/OpenXM/misc/packages/Linux/Debian/debian/openxm-binary.files,v retrieving revision 1.1 retrieving revision 1.3 diff -u -p -r1.1 -r1.3 --- OpenXM/misc/packages/Linux/Debian/debian/openxm-binary.files 2000/09/27 22:52:23 1.1 +++ OpenXM/misc/packages/Linux/Debian/debian/openxm-binary.files 2004/02/26 11:46:55 1.3 @@ -7,4 +7,8 @@ usr/local/bin/sm1 usr/local/bin/oxmath usr/local/bin/oxMathematica usr/local/bin/openxm -usr/local/bin/oxgp +usr/local/bin/asir-port.sh +usr/lib/menu/asir-knoppix +usr/lib/menu/asir-openxm-knoppix +usr/lib/menu/asir-openxm +usr/lib/menu/sm1