3 --- examples/Makefile.orig 2011-02-02 18:48:10.000000000 +0000
5 @@ -44,13 +44,13 @@ all: ${DIRECTORIES}
10 + mkdir -p $(DESTDIR)$(examples)
11 -for dir in ${DIRECTORIES} ${TUTORIAL_DIRS}; do \
12 - mkdir -p $(examples)/$${dir}; \
13 + mkdir -p $(DESTDIR)$(examples)/$${dir}; \
15 - cp -p $${dir}/*.ad? $${dir}/*.gpr $(examples)/$${dir} 2>/dev/null; \
16 - cp -p $${dir}/Makefile $(examples)/$${dir} 2>/dev/null; \
17 - cp -p $${dir}/README $(examples)/$${dir} 2>/dev/null; \
18 + cp -p $${dir}/*.ad? $${dir}/*.gpr $(DESTDIR)$(examples)/$${dir} 2>/dev/null; \
19 + cp -p $${dir}/Makefile $(DESTDIR)$(examples)/$${dir} 2>/dev/null; \
20 + cp -p $${dir}/README $(DESTDIR)$(examples)/$${dir} 2>/dev/null; \