Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751214AbdGNXP1 (ORCPT ); Fri, 14 Jul 2017 19:15:27 -0400 Received: from mail-it0-f43.google.com ([209.85.214.43]:37032 "EHLO mail-it0-f43.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751004AbdGNXPZ (ORCPT ); Fri, 14 Jul 2017 19:15:25 -0400 MIME-Version: 1.0 In-Reply-To: <386A482A-26F9-4C82-871D-E03E9F6401D8@darmarit.de> References: <20170518112608.4f355068@lwn.net> <20170518200140.11982b12@vento.lan> <386A482A-26F9-4C82-871D-E03E9F6401D8@darmarit.de> From: Jim Davis Date: Fri, 14 Jul 2017 16:15:23 -0700 Message-ID: Subject: Re: [PATCH v2 00/53] Get rid of Docbook To: Markus Heiser Cc: Mauro Carvalho Chehab , Jani Nikula , Jonathan Corbet , Linux Doc Mailing List , Mauro Carvalho Chehab , "linux-kernel@vger.kernel.org org List" , David Woodhouse , Brian Norris , Boris Brezillon , Marek Vasut , Richard Weinberger , Cyrille Pitchen , linux-mtd@lists.infradead.org Content-Type: text/plain; charset="UTF-8" Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 535 Lines: 18 On Thu, Jul 6, 2017 at 1:54 AM, Markus Heiser wrote: > 52b3f23 Docs: clean up some DocBook loose ends Speaking of minor loose ends, make SPHINXDIRS=userspace-api pdfdocs works -- though now that it's all sphinx, wouldn't just DIRS be better? -- and make DOCBOOKS=userspace-api pdfdocs still works too. But that generates all of the pdf files, and not just the userspace-api.pdf. And running now-dead targets like "make ps" or "make sgmldocs" or "make mandocs" just returns with no output. -- Jim