diff options
Diffstat (limited to 'gen-examples.sh')
-rw-r--r-- | gen-examples.sh | 57 |
1 files changed, 0 insertions, 57 deletions
diff --git a/gen-examples.sh b/gen-examples.sh deleted file mode 100644 index 20c9d7c7..00000000 --- a/gen-examples.sh +++ /dev/null @@ -1,57 +0,0 @@ -# Converts the examples in the `examples` directory into documentation in the -# `examples` module (`src/examples/*.rs`) - -set -ex - -main() { - local examples=( - zero-tasks - one-task - two-tasks - preemption - nested - late-resources - safe-static-mut-ref - generics - full-syntax - ) - - rm -rf src/examples - - mkdir src/examples - - cat >src/examples/mod.rs <<'EOF' -//! Examples -// Auto-generated. Do not modify. -EOF - - local i=0 out= - for ex in ${examples[@]}; do - name=_${i}_${ex//-/_} - out=src/examples/${name}.rs - - echo "pub mod $name;" >> src/examples/mod.rs - - grep '//!' examples/$ex.rs > $out - echo '//!' >> $out - echo '//! ```' >> $out - grep -v '//!' examples/$ex.rs | ( - IFS='' - - while read line; do - echo "//! $line" >> $out; - done - ) - echo '//! ```' >> $out - echo '// Auto-generated. Do not modify.' >> $out - - - chmod -x $out - - i=$(( i + 1 )) - done - - chmod -x src/examples/mod.rs -} - -main |