summaryrefslogtreecommitdiffstats
path: root/development/ghc/docs_ext-core_Makefile.patch
blob: d1e558f438c88a5124b6609c0adfe5813fc25584 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
--- docs/ext-core/Makefile~	2008-11-24 17:42:37.000000000 +0200
+++ docs/ext-core/Makefile	2008-11-24 17:43:09.000000000 +0200
@@ -5,8 +5,8 @@
 all: pdf
 
 install-docs:
-	-mkdir      $(docdir)/ext-core
-	cp core.pdf $(docdir)/ext-core/
+	-mkdir      $(DESTDIR)/$(docdir)/ext-core
+	cp core.pdf $(DESTDIR)/$(docdir)/ext-core/
 else
 all:
 install-docs: