dev86-make.patch

   1 --- dev86-0.16.18/dis88/Makefile.orig   2012-04-05 16:11:40.089215036 +0200
   2 +++ dev86-0.16.18/dis88/Makefile        2012-04-05 16:33:25.792595180 +0200
   3 @@ -28,6 +28,7 @@
   4  CFLAGS=$(OPT)
   5  LDFLAGS=
   6  PREFIX=/usr
   7 +MANDIR=$(PREFIX)/man
   8
   9  OBJ = disrel.o dismain.o distabs.o dishand.o disfp.o
  10
  11 @@ -37,8 +38,8 @@
  12         $(CC) $(LDFLAGS) -o dis88 $(OBJ)
  13
  14  install:       dis88
  15 -       install -m 755 -s dis88   $(DIST)$(PREFIX)/bin/dis86
  16 -       install -m 644    dis88.1 $(DIST)$(PREFIX)/man/man1/dis86.1
  17 +       install -m 755    dis88   $(DIST)$(PREFIX)/bin/dis86
  18 +       install -m 644    dis88.1 $(DIST)$(MANDIR)/man1/dis86.1
  19
  20  $(OBJ): dis.h a.out.h
  21