|
|
@@ -11,17 +11,17 @@ Index: gsl/wrappers.h
|
|
|
#else
|
|
|
#define LOCALARRAY(type, x, len) type x [(len)]
|
|
|
Index: rcfile.ml
|
|
|
---- rcfile.ml.orig 2004-04-06 05:02:56.000000000 +0200
|
|
|
-+++ rcfile.ml 2004-04-06 16:54:39.000000000 +0200
|
|
|
-@@ -456,9 +456,9 @@
|
|
|
- in
|
|
|
- let prefix_rcfile =
|
|
|
- if Install.prefix = "/usr" || Install.prefix = "/usr/" then
|
|
|
-- "/etc/orpierc"
|
|
|
-+ "/etc/orpie/orpierc"
|
|
|
- else
|
|
|
-- Install.prefix ^ "/etc/orpierc"
|
|
|
-+ Install.prefix ^ "/etc/orpie/orpierc"
|
|
|
- in
|
|
|
- try (open_in home_rcfile, home_rcfile)
|
|
|
- with Sys_error error_str ->
|
|
|
+--- rcfile.ml.orig 2004-08-31 06:03:01 +0200
|
|
|
++++ rcfile.ml 2004-08-31 13:53:46 +0200
|
|
|
+@@ -820,9 +820,9 @@
|
|
|
+ in
|
|
|
+ let prefix_rcfile =
|
|
|
+ if Install.prefix = "/usr" || Install.prefix = "/usr/" then
|
|
|
+- "/etc/orpierc"
|
|
|
++ "/etc/orpie/orpierc"
|
|
|
+ else
|
|
|
+- Install.prefix ^ "/etc/orpierc"
|
|
|
++ Install.prefix ^ "/etc/orpie/orpierc"
|
|
|
+ in
|
|
|
+ begin try (open_in home_rcfile, home_rcfile)
|
|
|
+ with Sys_error error_str ->
|