From mboxrd@z Thu Jan  1 00:00:00 1970
From: Thomas Monjalon <thomas.monjalon@6wind.com>
Subject: Re: [PATCH] mk: fix install-doc without html
Date: Sun, 06 Nov 2016 18:51:55 +0100
Message-ID: <5084891.NKrroIQnAX@xps13>
References: <1478451236-19061-1-git-send-email-thomas.monjalon@6wind.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7Bit
To: dev@dpdk.org
Return-path: <dev-bounces@dpdk.org>
Received: from mail-wm0-f41.google.com (mail-wm0-f41.google.com [74.125.82.41])
 by dpdk.org (Postfix) with ESMTP id 9C1BA47D1
 for <dev@dpdk.org>; Sun,  6 Nov 2016 18:51:57 +0100 (CET)
Received: by mail-wm0-f41.google.com with SMTP id p190so142302083wmp.1
 for <dev@dpdk.org>; Sun, 06 Nov 2016 09:51:57 -0800 (PST)
Received: from xps13.localnet (184.203.134.77.rev.sfr.net. [77.134.203.184])
 by smtp.gmail.com with ESMTPSA id i132sm7861056wmf.14.2016.11.06.09.51.56
 for <dev@dpdk.org>
 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
 Sun, 06 Nov 2016 09:51:56 -0800 (PST)
In-Reply-To: <1478451236-19061-1-git-send-email-thomas.monjalon@6wind.com>
List-Id: patches and discussions about DPDK <dev.dpdk.org>
List-Unsubscribe: <http://dpdk.org/ml/options/dev>,
 <mailto:dev-request@dpdk.org?subject=unsubscribe>
List-Archive: <http://dpdk.org/ml/archives/dev/>
List-Post: <mailto:dev@dpdk.org>
List-Help: <mailto:dev-request@dpdk.org?subject=help>
List-Subscribe: <http://dpdk.org/ml/listinfo/dev>,
 <mailto:dev-request@dpdk.org?subject=subscribe>
Errors-To: dev-bounces@dpdk.org
Sender: "dev" <dev-bounces@dpdk.org>

2016-11-06 17:53, Thomas Monjalon:
> When trying to install PDF, man pages or examples without having built
> neither HTML API nor HTML guides, there was an error:
> 
> % make install-doc
> tar: html: Cannot stat: No such file or directory
> 
> The fix is to check the html directory before installing HTML files.
> 
> Fixes: e4552b9cc603 ("mk: install doc")
> 
> Signed-off-by: Thomas Monjalon <thomas.monjalon@6wind.com>

Applied