#! /bin/sh
# This is a generated file. Do not edit it.
# If you call this as a batch file, it copies all
# files of the HTML version in one sub-directory.

mkdir -p public-usersguide

cp -f usersguide.xhtml public-usersguide
cp -f logo3-ombra-web.jpg public-usersguide
cp -f logo3-ombra.jpg public-usersguide
cp -f objecttree-h5-web.jpg public-usersguide
cp -f objecttree-h5.jpg public-usersguide
cp -f objecttree-web.png public-usersguide
cp -f tutorial1-tableview-web.jpg public-usersguide
cp -f tutorial1-tableview.jpg public-usersguide
cp -f tutorial1-general-web.jpg public-usersguide
cp -f tutorial1-general.jpg public-usersguide
cp -f tutorial2-tableview-web.jpg public-usersguide
cp -f tutorial2-tableview.jpg public-usersguide
cp -f searchTimes-int-itanium-web.png public-usersguide
cp -f searchTimes-float-itanium-web.png public-usersguide
cp -f indexTimes-itanium-web.png public-usersguide
cp -f write-medium-lzo-zlib-ucl-comparison-web.png public-usersguide
cp -f read-medium-lzo-zlib-ucl-comparison-web.png public-usersguide
cp -f write-medium-psyco-lzo-zlib-ucl-comparison-web.png public-usersguide
cp -f read-medium-psyco-lzo-zlib-ucl-comparison-web.png public-usersguide
cp -f write-medium-psyco-nopsyco-comparison-web.png public-usersguide
cp -f read-medium-psyco-nopsyco-comparison-web.png public-usersguide
cp -f rootUEP1-web.png public-usersguide
cp -f rootUEP2-web.png public-usersguide
