1 --- docs/Makefile.in.orig 2017-06-15 10:41:30.000000000 -0300
2 +++ docs/Makefile.in 2017-08-28 12:01:05.802707671 -0300
6 if test -r html ; then \
7 - mkdir -p $(DESTDIR)$(datadir)/doc/valgrind; \
8 - cp -r html $(DESTDIR)$(datadir)/doc/valgrind; \
9 + mkdir -p $(DESTDIR)$(docdir); \
10 + cp -r html $(DESTDIR)$(docdir); \
13 if test -r $$f ; then \
15 ifeq ($(BUILD_ALL_DOCS),yes)
17 if test -r index.pdf ; then \
18 - mkdir -p $(DESTDIR)$(datadir)/doc/valgrind; \
19 - cp index.pdf $(DESTDIR)$(datadir)/doc/valgrind/valgrind_manual.pdf; \
20 + mkdir -p $(DESTDIR)$(docdir); \
21 + cp index.pdf $(DESTDIR)$(docdir)/valgrind_manual.pdf; \
24 if test -r index.ps ; then \
25 - mkdir -p $(DESTDIR)$(datadir)/doc/valgrind; \
26 - cp index.ps $(DESTDIR)$(datadir)/doc/valgrind/valgrind_manual.ps; \
27 + mkdir -p $(DESTDIR)$(docdir); \
28 + cp index.ps $(DESTDIR)$(docdir)/valgrind_manual.ps; \