1 --- resource.c.orig	Mon Apr 24 07:39:03 1995
2 +++ resource.c	Fri Mar 31 23:09:37 2000
3 @@ -101,8 +101,8 @@
4        if ((XTRONresources = XrmGetFileDatabase("./.xtronrc")) == NULL)  {
5  	 if ((XTRONresources = XrmGetFileDatabase("$HOME/xtronrc")) == NULL)  {
6  	    if ((XTRONresources = XrmGetFileDatabase("$HOME/.xtronrc")) == NULL)  {
7 -	       if ((XTRONresources = XrmGetFileDatabase("/usr/X11/lib/X11/app-defaults/xtronrc")) == NULL)  {
8 -		  if ((XTRONresources = XrmGetFileDatabase("/usr/X11/lib/X11/app-defaults/.xtronrc")) == NULL)  {
9 +	       if ((XTRONresources = XrmGetFileDatabase(PREFIX "/lib/X11/app-defaults/Tron")) == NULL)  {
10 +		  if ((XTRONresources = XrmGetFileDatabase(PREFIX "/share/xtron/xtronrc")) == NULL)  {
11  		     fprintf(stderr,"error: unable to open/read resource file xtronrc\n");
12  		     return(0);
13  		  }
14