mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-01 14:15:23 +02:00
Code Issues Wiki Activity

Add eRCP Docs to Infocenter

Browse source
This commit is contained in:
Martin Oberhuber 2007-11-12 17:09:49 +00:00
parent ab6d24db09
commit e8a976ca9e
2 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
releng/org.eclipse.rse.releng.infocenter/addSites.sh
View file

@ -16,4 +16,5 @@ IHOME=/home/infocenter/latest
$IHOME/bin/infocenter.sh addSite -from $IHOME/plugins/rse/eclipse
$IHOME/bin/infocenter.sh addSite -from $IHOME/plugins/dd.dsf/eclipse
$IHOME/bin/infocenter.sh addSite -from $IHOME/plugins/nab/eclipse
$IHOME/bin/infocenter.sh addSite -from $IHOME/plugins/ercp/eclipse
$IHOME/bin/infocenter.sh apply

3
releng/org.eclipse.rse.releng.infocenter/update.sh
View file

@ -61,6 +61,9 @@ if [ "$NEED_RESTART" != "0" ]; then
####################### Deploy nab ###############################
rm -rf $IHOME/plugins/nab/eclipse/plugins/*
cp -Rp $IHOME/deploy/nab/plugins/* $IHOME/plugins/nab/eclipse/plugins/
####################### Deploy ercp ##############################
rm -rf $IHOME/plugins/ercp/eclipse/plugins/*
cp -Rp $IHOME/deploy/ercp/*.jar $IHOME/plugins/ercp/eclipse/plugins/
#TODO: not sure if we need to delete the old index to force re-indexing
echo "Deleting old index..."