jed-makefile.patch

   1 --- jed-B0.99-15/src/Makefile.in.orig   Mon Oct  8 06:48:16 2001
   2 +++ jed-B0.99-15/src/Makefile.in        Tue Apr 23 16:02:39 2002
   3 @@ -14,9 +14,11 @@
   4  exec_prefix = @exec_prefix@
   5  #JED_ROOT = $(HOME)/src/jed# <--- make sure # is at end of file!!
   6  #JED_ROOT = $(prefix)/jed# <--- make sure # is at end of file!!
   7 -JED_ROOT = @JED_ROOT@# <--- make sure # is at end of file!!
   8 +#JED_ROOT = @JED_ROOT@# <--- make sure # is at end of file!!
   9 +JED_ROOT = @datadir@/jed# <--- make sure # is at end of file!!
  10  BIN_DIR = @bindir@
  11  MAN_DIR = @mandir@/man1
  12 +INFO_DIR = @infodir@
  13  INSTALL                = @INSTALL@
  14  INSTALL_DATA   = @INSTALL_DATA@
  15  MKINSDIR = ../autoconf/mkinsdir.sh
  16 @@ -28,7 +30,7 @@
  17  JED_COLOR_FILES = ../lib/colors/*.sl ../lib/colors/README
  18  XJED_COLOR_FILES = ../lib/colors/Xjed/*.sl
  19  JED_TM_FILES = ../lib/tm/*.tm
  20 -JED_INFO_FILES = ../info/*
  21 +JED_INFO_FILES = ../info/jed.*
  22
  23  #---------------------------------------------------------------------------
  24  # DESTDIR is designed to facilitate making packages.  Normally it is empty
  25 @@ -52,10 +54,10 @@
  26  #---------------------------------------------------------------------------
  27  # 1. Linux GPM Mouse support
  28  #    Uncomment next FOUR lines for GPM mouse support
  29 -#MOUSEFLAGS = -DHAS_GPM_MOUSE
  30 -#MOUSELIB = -lgpm
  31 -#GPMMOUSEO = gpmmouse.o
  32 -#OBJGPMMOUSEO = $(OBJDIR)/$(GPMMOUSEO)
  33 +MOUSEFLAGS = -DHAS_GPM_MOUSE
  34 +MOUSELIB = -lgpm
  35 +GPMMOUSEO = gpmmouse.o
  36 +OBJGPMMOUSEO = $(OBJDIR)/$(GPMMOUSEO)
  37
  38  #---------------------------------------------------------------------------
  39  # S-Lang library location