hotdoc run
cp -R attachments built_doc/html/
cp -R images built_doc/html/