Only include man subdirectory if the DOCUMENTATION option is on
Signed-off-by: Ian Johnson <ijohnson@wolfram.com>pull/144/head
parent
62402f7b60
commit
3163cf2d70
Loading…
Reference in New Issue