aboutsummaryrefslogtreecommitdiffstats
path: root/support/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'support/scripts')
-rwxr-xr-xsupport/scripts/copy-to-ide20
1 files changed, 3 insertions, 17 deletions
diff --git a/support/scripts/copy-to-ide b/support/scripts/copy-to-ide
index 674615e..08cb9e3 100755
--- a/support/scripts/copy-to-ide
+++ b/support/scripts/copy-to-ide
@@ -1,12 +1,11 @@
#!/bin/sh
-# This hack copies libmaple's source, linker scripts, and built
-# documentation into the Maple IDE repository (which is expected as
-# its first argument).
+# This hack copies libmaple's source, linker scripts, and support
+# libraries into the Maple IDE repository (which is expected as its
+# first argument).
DEST=$1
-DEST_REF=$DEST/build/shared/reference
DEST_CORES=$DEST/hardware/leaflabs/cores/maple
DEST_LIBS=$DEST/libraries
@@ -35,9 +34,6 @@ LMAPLE_SRC="LICENSE
./support/ld/maple_RET6
./support/ld/names.inc"
-LMAPLE_DOCS=./docs
-LMAPLE_DOCS_BUILD=$LMAPLE_DOCS/build/html
-
echo "First make sure DEST exists: $DEST"
if !(test -d $DEST)
then
@@ -58,14 +54,4 @@ cp -R libraries/* $DEST_LIBS
echo Creating libmaple-version.txt
git show-ref HEAD | cut -c 1-10 > $DEST/libmaple-version.txt
-# docs
-echo Deleting old reference directory contents
-rm -rf $DEST_REF/*
-
-echo Rebuilding documentation
-( cd $LMAPLE_DOCS; doxygen >/dev/null 2>&1 && make clean >/dev/null 2>&1 && make html )
-
-echo Copying over documentation
-cp -R $LMAPLE_DOCS_BUILD/* $DEST_REF
-
echo Done.