make install fails without make doc

enki-community / enki

A fast 2-D robot simulator. To contact us, please open an issue.

Other

36 stars 34 forks source link

make install fails without make doc #35

Closed dmiklic closed 7 years ago

dmiklic commented 7 years ago

Invoking

make 
make install

fails with

Install the project...
-- Install configuration: ""
CMake Error at cmake_install.cmake:36 (file):
  file INSTALL cannot find "/home/damjan/devel/enki/build-release/html".

Makefile:61: recipe for target 'install' failed

Running make doc after make enables a successful make install.

Observed on Ubuntu 16.04.

stephanemagnenat commented 7 years ago

Fixed in commit 85f3c21.