casa-mp-base

--- option.c    2016-10-27 23:11:42.000000000 -0400

+++ option.c    2017-01-15 19:35:50.000000000 -0500

@@ -980,9 +980,9 @@

     char *readstat = (char *) -1;

     int lines = 0;

-    helpfile = fopen("crafty.hlp", "r");

+    helpfile = fopen("@@PREFIX@@/share/crafty/crafty.hlp", "r");

     if (!helpfile) {

-      printf("ERROR.  Unable to open \"crafty.hlp\" -- help unavailable\n");

+      printf("ERROR.  Unable to open \"@@PREFIX@@/share/crafty/crafty.hlp\" -- help unavailable\n");

       return 1;

     }

     if (nargs > 1) {