add_library(ia32_doc INTERFACE) target_include_directories(ia32_doc INTERFACE ia32-doc/out)