[dpdk-dev] [PATCH] mk: fix install-doc without html

2016-11-06 Thread Thomas Monjalon
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 installi

[dpdk-dev] [PATCH] mk: fix install-doc without html

2016-11-06 Thread 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