From mboxrd@z Thu Jan 1 00:00:00 1970 From: Keir Fraser Subject: Re: Xen 4.2 TODO List Update Date: Wed, 25 Jan 2012 14:57:47 +0000 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Return-path: In-Reply-To: List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xensource.com Errors-To: xen-devel-bounces@lists.xensource.com To: Roger Pau =?ISO-8859-1?B?TW9ubuk=?= , Ian Campbell Cc: xen-devel List-Id: xen-devel@lists.xenproject.org On 25/01/2012 14:49, "Roger Pau Monn=E9" wrote: >>> don't want to install it, but I would like to have the man pages when >> >>> building Xen from source. > > "make -C docs man-pages" will do what you >>> want. Thanks, I've already done this to build them on my system, but I >>> think we should provide some easy way for users without latex to build >>> and install the man pages. > I must admit I thought latex was optional and >>> that "make docs" would > simply skip those docs if it wasn't installed -- >>> that's what the "if > which $(TOOL)" construct used in there is (supposed to >>> be) doing. If latex is not found, the compilation is aborted: # make >>> docs sh ./docs/check_pkgs && make -C docs install || >>> true =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D >>> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D =3D WARNING: Package 'latex' is required =3D >>> to build Xen = >>> documentation =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D >>> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D I think make docs should just skip >>> latex if not found. I'm dubious whether the latex docs are at all useful these days. We could possibly just remove them entirely. -- Keir