+ : # Setting up
+ touch index-API.doc .FAQ.doc.toc
+ mkdir html
+ cp @srcdir@/simgrid_logo.png @srcdir@/simgrid_modules.png html/
+ cp @srcdir@/Paje_MSG_screenshot_thn.jpg @srcdir@/Paje_MSG_screenshot.jpg html/
+ cp @srcdir@/simgrid.css html/
+ : # First pass