*** Local.config.orig Tue Dec 17 04:30:18 1996 --- Local.config Wed Feb 12 08:32:57 1997 *************** *** 25,31 **** #define LocalGuru xpilot@xpilot.org /* The one to contact for problems */ #endif /* LocalGuru */ ! PREFIX = /usr/local/games /* Manual pages for games usually go to section 6. */ MANSUFFIX = 6 --- 25,31 ---- #define LocalGuru xpilot@xpilot.org /* The one to contact for problems */ #endif /* LocalGuru */ ! PREFIX = /usr/X11R6 /* Manual pages for games usually go to section 6. */ MANSUFFIX = 6 *************** *** 91,97 **** * CDEBUGFLAGS should specify optimalization or debug information (or both). * Try not defining anything first. */ ! CDEBUGFLAGS = -g /* General debug flag */ /* CDEBUGFLAGS = -O /* General optimize flag */ /* CDEBUGFLAGS = -Ae +O3 +FPD /* HP cc optimize flags (no +ESlit) */ /* CDEBUGFLAGS = -Ae -g -z +w1 /* HP cc debug flags */ --- 91,97 ---- * CDEBUGFLAGS should specify optimalization or debug information (or both). * Try not defining anything first. */ ! /* CDEBUGFLAGS = -g /* General debug flag */ /* CDEBUGFLAGS = -O /* General optimize flag */ /* CDEBUGFLAGS = -Ae +O3 +FPD /* HP cc optimize flags (no +ESlit) */ /* CDEBUGFLAGS = -Ae -g -z +w1 /* HP cc debug flags */