Easiest way is to remove the "doc" target in the top level Makefile.am. With 7.1 this has been changed to make building the docs optional.
On Tuesday, January 17, 2017 5:45 AM, Assaf Cohen <[email protected]>
wrote:
Is there a way to build ATS 5.3.2 without documentation
Thanks
Assaf Cohen
