aboutsummaryrefslogtreecommitdiff
path: root/gen-examples.sh
diff options
context:
space:
mode:
Diffstat (limited to 'gen-examples.sh')
-rw-r--r--gen-examples.sh57
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