diff options
author | Matthias Beyer <mail@beyermatthias.de> | 2018-04-12 00:22:50 +0200 |
---|---|---|
committer | Matthias Beyer <mail@beyermatthias.de> | 2018-04-12 15:21:26 +0200 |
commit | 660b3b3dcfec6646e6c663e3166c1c305a853cdd (patch) | |
tree | 1bef4522dcde356aeb2f13cdf347f537b62a711d /scripts | |
parent | c27dc79afe2ed2d978515dbcb737b0927783027b (diff) |
Change setup to use travis matrix and dedicated ci script
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/mkdocset | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/scripts/mkdocset b/scripts/mkdocset new file mode 100644 index 00000000..c1e9fc34 --- /dev/null +++ b/scripts/mkdocset @@ -0,0 +1,16 @@ +#!/usr/bin/env bash + +# execute from repository root + +CARGO=$(which cargo || exit 1) +RSDOCSDASHING=$(which rsdocs-dashing || exit 1) +DASHING=$(which dashing || exit 1) + +$CARGO doc --all || exit 1 + +ls target/doc | grep imag | while read pkg; do + $RSDOCSDASHING target/doc/$pkg docset-$pkg + $DASHING build --config docset-$pkg/dashing.json --source docset-$pkg/build +done + + |