From kde-bugs-dist Tue May 10 18:24:05 2011 From: Pierre Habouzit Date: Tue, 10 May 2011 18:24:05 +0000 To: kde-bugs-dist Subject: [Bug 272967] New: make documentation build-system more robust Message-Id: X-MARC-Message: https://marc.info/?l=kde-bugs-dist&m=130505187623227 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.