mosref/fix_paths.patch

   1 --- ../mosref-2.0-beta3.orig/site/config.ms     2006-12-28 11:13:56.000000000 +0100
   2 +++ site/config.ms      2006-12-28 11:14:38.000000000 +0100
   3 @@ -1,4 +1,4 @@
   4  ;;; Generated by bin/install.ms
   5 -(set-site-config! 'bin-path "./bin")
   6 -(set-site-config! 'mod-path '("." "/usr/local/lib/mosvm"))
   7 -(set-site-config! 'stub-path "./stubs")
   8 +(set-site-config! 'bin-path "/opt/mosref")
   9 +(set-site-config! 'mod-path '("." "/opt/mosref"))
  10 +(set-site-config! 'stub-path "/opt/mosref/stubs")