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

Add dd.dsf docs to infocenter

Browse source
This commit is contained in:
Martin Oberhuber 2006-07-31 17:29:37 +00:00
parent c1d279a102
commit f556980f52
2 changed files with 7 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -3,6 +3,6 @@
# Add new Eclipse "extsion locations" to the infocenter
#
IHOME=/home/infocenter/latest
$IHOME/infocenter.sh addSite -from $IHOME/plugins/rse/eclipse
$IHOME/infocenter.sh apply
$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 apply

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

@ -40,8 +40,12 @@ if [ "$NEED_RESTART" != "0" ]; then
$IHOME/bin/infocenter.sh shutdown
echo "Deploying new plug-ins..."
######################### Deploy RSE #############################
rm $IHOME/plugins/rse/eclipse/plugins/*
cp -p $IHOME/deploy/rse/plugins/* $IHOME/plugins/rse/eclipse/plugins/
####################### Deploy dd.dsf ############################
rm $IHOME/plugins/dd.dsf/eclipse/plugins/*
cp -p $IHOME/deploy/dd.dsf/plugins/* $IHOME/plugins/dd.dsf/eclipse/plugins/
#TODO: not sure if we need to delete the old index to force re-indexing
echo "Deleting old index..."