https://bugs.kde.org/show_bug.cgi?id=272967

           Summary: make documentation build-system more robust
           Product: valgrind
           Version: unspecified
          Platform: Unlisted Binaries
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: NOR
         Component: general
        AssignedTo: jseward@acm.org
        ReportedBy: madcoder@debian.org


when manpages aren't built properly the build system doesn't fail. The attached
patch fixes that.

It comes from the Debian bug
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=599563

-- 
Configure bugmail: https://bugs.kde.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are watching all bug changes.