bash $scriptDir/cvscheckout.sh $crearigidregistrationssource $generationdir $cvsUserName
bash $scriptDir/cvscheckout.sh $bbtkgeditorsource $generationdir $cvsUserName
bash $scriptDir/cvscheckout.sh $creatoolssource $generationdir $cvsUserName
- bash $scriptDir/cvscheckout.sh $creaminitoolssource $generationdir $cvsUserName
+ bash $scriptDir/cvscheckout.sh $creaminitoolssource $generationdir $cvsUserName
+ bash $scriptDir/cvscheckout.sh $libidosource-ESRF $generationdir $cvsUserName
+ mv $libidosource-ESRF $libidosource
fi
if [ $sourcesFrom = HTML ]