]> git.pld-linux.org Git - packages/ddd.git/blob - ddd-DESTDIR.patch
2db653525be05c72466941c68d69254b ddd-DESTDIR.patch
[packages/ddd.git] / ddd-DESTDIR.patch
1 --- ddd-3.2.1/ddd/Makefile.in   Sat Feb 12 00:59:44 2000
2 +++ ddd-3.2.1.orig/ddd/Makefile.in      Mon May 29 18:15:19 2000
3 @@ -26,6 +26,7 @@
4  # `http://www.gnu.org/software/ddd/',
5  # or send a mail to the DDD developers <ddd@gnu.org>.
6  
7 +DESTDIR = 
8  
9  ### CUSTOMIZATION SECTION --- Please check the settings below.
10  # Typical values are enclosed in ().
11 @@ -34,21 +35,21 @@
12  
13  # Common prefix for installation directories.  (/usr/local)
14  # NOTE: This directory must exist when you start the install.
15 -prefix = @prefix@
16 -exec_prefix = @exec_prefix@
17 +prefix = $(DESTDIR)/@prefix@
18 +exec_prefix = $(DESTDIR)/@exec_prefix@
19  
20  # Where to fetch the source from.  (.)
21  srcdir = @srcdir@
22  VPATH = @srcdir@
23  
24  # Where to put the binary.  (${exec_prefix}/bin)
25 -bindir = @bindir@
26 +bindir = $(DESTDIR)/@bindir@
27  
28  # Where to put the info file.  (${prefix}/info)
29 -infodir = @infodir@
30 +infodir = $(DESTDIR)/@infodir@
31  
32  # Where to put the manual page.  (${prefix}/man)
33 -mandir  = @mandir@
34 +mandir  = $(DESTDIR)/@mandir@
35  man1dir = $(mandir)/man1
36  man1ext = .1
37  
This page took 0.036306 seconds and 4 git commands to generate.