From: Jonathan Nieder <jrnieder@gmail.com>
Date: Tue, 12 Feb 2013 22:25:08 GMT
Subject: Re: [PATCH 0/3] Fix installation paths with "make install-doc"
Message-ID: <20130212222508.GG12240@google.com>
In-Reply-To: <cover.1360700102.git.john@keeping.me.uk>

John Keeping wrote:

>   Documentation/Makefile: fix inherited {html,info,man}dir

This doesn't seem to have hit the list.

Thanks,
Jonathan