ADD_SUBDIRECTORY( manual )