when doc/ directory isn't present, te following error occurs when running make:
$ make
find: `doc': No such file or directory
find: `doc': No such file or directory
find: `doc': No such file or directory
find: `doc': No such file or directory
Building cTraceo 1.3 with standard options -run 'make help' for more information.
when doc/ directory isn't present, te following error occurs when running make: