Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtp (Exim 4.80) (envelope-from ) id 1WhsR3-000830-Vr for pgsql-hackers@arkaria.postgresql.org; Wed, 07 May 2014 03:22:22 +0000 Received: from localhost ([127.0.0.1] helo=postgresql.org) by malur.postgresql.org with smtp (Exim 4.80) (envelope-from ) id 1WhsR3-0002r7-55 for pgsql-hackers@arkaria.postgresql.org; Wed, 07 May 2014 03:22:21 +0000 Received: from magus.postgresql.org ([2a02:c0:301:0:ffff::29]) by malur.postgresql.org with esmtp (Exim 4.80) (envelope-from ) id 1WhsR1-0002qx-Uo for pgsql-hackers@postgresql.org; Wed, 07 May 2014 03:22:20 +0000 Received: from sss.pgh.pa.us ([66.207.139.130]) by magus.postgresql.org with esmtp (Exim 4.80) (envelope-from ) id 1WhsQv-00017P-7F for pgsql-hackers@postgresql.org; Wed, 07 May 2014 03:22:19 +0000 Received: from sss1.sss.pgh.pa.us (localhost [127.0.0.1]) by sss.pgh.pa.us (8.14.4/8.14.4) with ESMTP id s473M9Uf012101; Tue, 6 May 2014 23:22:09 -0400 From: Tom Lane To: Peter Eisentraut cc: pgsql-hackers Subject: Re: need xmllint on borka In-reply-to: <1399429219.5361.10.camel@vanquo.pezone.net> References: <1398996306.13844.3.camel@vanquo.pezone.net> <11463.1398999091@sss.pgh.pa.us> <1399429219.5361.10.camel@vanquo.pezone.net> Comments: In-reply-to Peter Eisentraut message dated "Tue, 06 May 2014 22:20:19 -0400" Date: Tue, 06 May 2014 23:22:09 -0400 Message-ID: <12100.1399432929@sss.pgh.pa.us> X-Pg-Spam-Score: -2.6 (--) List-Archive: List-Help: List-ID: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: X-Mailing-List: pgsql-hackers Precedence: bulk Sender: pgsql-hackers-owner@postgresql.org Peter Eisentraut writes: > On Thu, 2014-05-01 at 22:51 -0400, Tom Lane wrote: >> -1. Doesn't this break "make man" for *any* hacker who doesn't have >> xmllint installed? > The intention is that we enforce that the documentation is correctly > formatted. Enforcing that only when the required tool is installed is > the same as not enforcing it and annoying those who happen to have the > tool installed. Okay, but if that's the intent I suggest that the check needs to happen somewhere more prominent than in nondefault build targets. Personally, I run "make man" about once a release cycle, if that often; and I'm not sure I've ever built any of the other targets modified in this patch. If you want to enforce correctness then I think you should put the xmllint call into the "make all" path, which would render all of the targets touched here rather redundant. Also, in the vein of "is this a full-scale build requirement or not", why is the pathname of xmllint just hard-coded into the makefile and not something that's checked for by configure? regards, tom lane -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers