|
#!/bin/bash |
|
|
|
|
|
|
|
ROOT_DIR="$( cd "$(dirname "$0")"/.. ; pwd -P )" |
|
cd $ROOT_DIR |
|
|
|
|
|
GATHERED_DIR=docs/gathered |
|
rm -r $GATHERED_DIR |
|
mkdir $GATHERED_DIR |
|
for README_FILENAME in $(find examples -iname "readme.md"); do |
|
|
|
if grep -Fxq "include_in_docs: true" $README_FILENAME; then |
|
|
|
|
|
README_DIRNAME=`dirname $README_FILENAME` |
|
DOCS_FILENAME=$GATHERED_DIR/$README_DIRNAME.md |
|
mkdir -p `dirname $DOCS_FILENAME` |
|
ln -s $ROOT_DIR/$README_FILENAME $DOCS_FILENAME |
|
fi |
|
done |
|
|
|
|
|
for NOTEBOOK_FILENAME in $(find examples -depth -iname "*.ipynb"); do |
|
DOCS_FILENAME=$GATHERED_DIR/$NOTEBOOK_FILENAME |
|
mkdir -p `dirname $DOCS_FILENAME` |
|
python scripts/copy_notebook.py $NOTEBOOK_FILENAME $DOCS_FILENAME |
|
done |
|
|