Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtp (Exim 4.80) (envelope-from ) id 1WhrTC-0005rt-Bf for pgsql-hackers@arkaria.postgresql.org; Wed, 07 May 2014 02:20:30 +0000 Received: from localhost ([127.0.0.1] helo=postgresql.org) by malur.postgresql.org with smtp (Exim 4.80) (envelope-from ) id 1WhrTB-0005KU-RY for pgsql-hackers@arkaria.postgresql.org; Wed, 07 May 2014 02:20:29 +0000 Received: from makus.postgresql.org ([2001:4800:7903:4::125]) by malur.postgresql.org with esmtp (Exim 4.80) (envelope-from ) id 1WhrTA-0005KL-Rn for pgsql-hackers@postgresql.org; Wed, 07 May 2014 02:20:29 +0000 Received: from mout.gmx.net ([212.227.17.21]) by makus.postgresql.org with esmtp (Exim 4.80) (envelope-from ) id 1WhrT7-0005r8-KJ for pgsql-hackers@postgresql.org; Wed, 07 May 2014 02:20:28 +0000 Received: from [10.0.0.9] ([67.165.8.132]) by mail.gmx.com (mrgmx103) with ESMTPSA (Nemesis) id 0MdaiW-1WTbqM0Zv2-00PLi2; Wed, 07 May 2014 04:20:22 +0200 Message-ID: <1399429219.5361.10.camel@vanquo.pezone.net> Subject: Re: need xmllint on borka From: Peter Eisentraut To: Tom Lane Cc: pgsql-hackers Date: Tue, 06 May 2014 22:20:19 -0400 In-Reply-To: <11463.1398999091@sss.pgh.pa.us> References: <1398996306.13844.3.camel@vanquo.pezone.net> <11463.1398999091@sss.pgh.pa.us> Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.8.5-2+b1 Mime-Version: 1.0 Content-Transfer-Encoding: 7bit X-Provags-ID: V03:K0:AGEv1GxAXphL0TwckRm2aHUQTp6J6AZC1GarOCcniC+oDFLQ6oP k8DfQfF18gVcwSLEmfHzwX5tzKs6CrOYd6oAYVX+9CZG884Y+CeNZIdwOIg4/7mFttti/vn njVFEF1jMyu+Q1ofL7GSM8WCGGQnSlTZ0lpcqxta56JNO+xTtSkLr62ZQ3B6cf8pQ/591ON hXUIf0YZsxnCmmUFnnEbg== 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 On Thu, 2014-05-01 at 22:51 -0400, Tom Lane wrote: > > But we don't have xmllint installed on borka, where we build the > > releases. Could someone please install it? > > -1. Doesn't this break "make man" for *any* hacker who doesn't have > xmllint installed? > > Please change the patch so that it runs xmllint if available, rather > than turning it into a de facto requirement for anybody who works on > documentation. 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. > Or if you think you can pass a vote to require it, > I'd suggest that the patch had better include documentation additions > listing this as a required build tool. Agreed. I have committed the SGML changes that make things valid now, but I will postpone the xmllint addition until the 9.5 branch, complete with more documentation. -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers