From: Florian Krohm <florian@eich-krohm.de>
Date: Thu, 4 Sep 2014 18:37:56 +0000 (+0000)
Subject: Revert an accidentally checked in change.
X-Git-Tag: svn/VALGRIND_3_10_0~49
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=02e0bd5aa09223cc8b03c1cbfaf5484466f41842;p=thirdparty%2Fvalgrind.git

Revert an accidentally checked in change.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14460
---

diff --git a/docs/Makefile.am b/docs/Makefile.am
index 9374660696..f5b7258f32 100644
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -7,7 +7,7 @@
 # Comment out the next line to skip building print docs.  The default
 # is not to skip building print docs.  Note, after changing it
 # you need to re-run autogen.sh and configure to make it take effect.
-# BUILD_ALL_DOCS=yes
+BUILD_ALL_DOCS=yes
 
 ##-------------------------------------------------------------
 ## END OF HACK