From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: [PATCH 3/6] gnu: docbook-xml: Substite remote xml_catalog uris with local ones. Date: Tue, 15 Jul 2014 22:51:13 +0200 Message-ID: <8761iymjlq.fsf@gnu.org> References: <1405449096-29230-1-git-send-email-jmd@gnu.org> <1405449096-29230-3-git-send-email-jmd@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:34789) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X79h3-0002ys-8M for guix-devel@gnu.org; Tue, 15 Jul 2014 16:51:26 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1X79gx-0000M2-R7 for guix-devel@gnu.org; Tue, 15 Jul 2014 16:51:21 -0400 In-Reply-To: <1405449096-29230-3-git-send-email-jmd@gnu.org> (John Darrington's message of "Tue, 15 Jul 2014 20:31:33 +0200") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: John Darrington Cc: guix-devel@gnu.org John Darrington skribis: > * gnu/packages/docbook.scm: substitute remote uri with local ones. Typo in subject line, and please add the variable name in the log. OK to push with that, thanks! Ludo=E2=80=99.