 |
dvi2tty-5.3.1-makefile.patch |
|
diff -ru dvi2tty-5.3.1/Makefile dvi2tty-5.3.1-fix/Makefile
--- dvi2tty-5.3.1/Makefile 2003-01-23 11:09:42.000000000 +0100
+++ dvi2tty-5.3.1-fix/Makefile 2007-06-13 10:05:29.000000000 +0200
@@ -8,22 +8,23 @@
#
CC = gcc
-CFLAGS = -Wall -O2
+CFLAGS = $(RPM_OPT_FLAGS)
# CFLAGS = -Wall -O2 -fomit-frame-pointer
LDFLAGS = -s
prefix = /usr/local
-mandir = $(prefix)/man/man1
+mandir = $(prefix)/share/man
bindir = $(prefix)/bin
+DESTDIR=
all: dvi2tty disdvi
dvi2tty:dvi2tty.o dvistuff.o
- $(CC) $(LFLAGS) -o dvi2tty dvi2tty.o dvistuff.o
+ $(CC) $(CFLAGS) $(LFLAGS) -o dvi2tty dvi2tty.o dvistuff.o
disdvi:disdvi.o
- $(CC) $(LFLAGS) -o disdvi disdvi.o
+ $(CC) $(CFLAGS) $(LFLAGS) -o disdvi disdvi.o
dvi2tty.o: dvi2tty.c dvi2tty.h
@@ -35,6 +36,8 @@
rm -f dvi2tty disdvi *.o
install: all
- install dvi2tty disdvi $(bindir)
- install dvi2tty.1 $(mandir)
- install disdvi.1 $(mandir)
+ mkdir -p $(DESTDIR)/$(bindir)
+ install dvi2tty disdvi $(DESTDIR)/$(bindir)
+ mkdir -p $(DESTDIR)/$(mandir)/man1
+ install dvi2tty.1 $(DESTDIR)/$(mandir)/man1/dvi2tty.1
+ install disdvi.1 $(DESTDIR)/$(mandir)/man1/disdvi.1
|
|
|