On Thu, Jun 13, 2013 at 12:48 AM, Avneet Kaur <[email protected]> wrote: > This patch is a solution to bug with ID #31123. > URL: > <http://savannah.gnu.org/patch/?8071> > Now, make will not install the doc by default.
I think, need to update this on wiki also. -- Avneet Kaur www.avneetkhasla.wordpress.com
