*** latest/src/mk/kernel/src/mig/user.c	Wed Jan 29 00:45:31 1992
--- hut/src/mk/kernel/src/mig/user.c	Sun Aug  9 08:11:09 1992
***************
*** 25,30 ****
--- 25,34 ----
   */
  /*
   * HISTORY
+  * 19-Mar-92  Johannes Helander (jvh) at Helsinki University of Technology
+  *	Don't strip leading path from UserHeaderFileName. Instead rely on
+  *	MAKECPP et al. to find include file instead of the C file name.
+  *
   * $Log:	user.c,v $
   * Revision 2.10  92/01/14  16:46:59  rpd
   * 	Changed CountInOut code generation, to send the minimum
***************
*** 236,241 ****
--- 240,246 ----
      {
  	register char *cp;
  
+ #if 0
  	/* Strip any leading path from UserHeaderFileName. */
  	cp = rindex(UserHeaderFileName, '/');
  	if (cp == 0)
***************
*** 243,248 ****
--- 248,256 ----
  	else
  	    cp++;	/* skip '/' */
  	fprintf(file, "#include \"%s\"\n", cp);
+ #else
+ 	fprintf(file, "#include \"%s\"\n", UserHeaderFileName);
+ #endif 0
      }
  
      fprintf(file, "#define EXPORT_BOOLEAN\n");