-set(USER_GUIDE_SOURCES
- doc/user_guide/doxygen/UserGuideDoxyfile.in
- doc/user_guide/doxygen/UserGuideDoxygenLayout.xml
- doc/user_guide/doxygen/bindings.doc
- doc/user_guide/doxygen/deployment.doc
- doc/user_guide/doxygen/examples.doc
- doc/user_guide/doxygen/index.doc
- doc/user_guide/doxygen/install.doc
- doc/user_guide/doxygen/options.doc
- doc/user_guide/doxygen/platform.doc
- doc/user_guide/doxygen/pls.doc
- doc/user_guide/doxygen/tracing.doc
- doc/user_guide/doxygen/use.doc
- )
-
-set(REF_GUIDE_SOURCES
- doc/ref_guide/doxygen/RefGuideDoxyfile.in
- doc/ref_guide/doxygen/RefGuideDoxygenLayout.xml
- doc/ref_guide/doxygen/main.doc
- doc/ref_guide/doxygen/module-amok.doc
- doc/ref_guide/doxygen/module-gras.doc
- doc/ref_guide/doxygen/module-msg.doc
- doc/ref_guide/doxygen/module-sd.doc
- doc/ref_guide/doxygen/module-simix.doc
- doc/ref_guide/doxygen/module-surf.doc
- doc/ref_guide/doxygen/module-trace.doc
- doc/ref_guide/doxygen/module-xbt.doc
- doc/ref_guide/doxygen/modules.doc
- )
-
-set(SHARED_SOURCES