patches/valgrind/valgrind-docdir.patch

   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
   3 @@ -665,8 +665,8 @@
   4  install-data-hook:
   5         set -e; \
   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); \
  11         fi
  12         for f in *.1 ; do \
  13                 if test -r $$f ; then \
  14 @@ -677,13 +677,13 @@
  15   ifeq ($(BUILD_ALL_DOCS),yes)
  16         set -e; \
  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; \
  22         fi
  23         set -e; \
  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; \
  29         fi
  30   endif
  31