@@ -33,4 +33,6 @@
)
SET_TARGET_PROPERTIES(html PROPERTIES PROJECT_LABEL BUILD_DOC)
IF(UNIX)
INSTALL(