Skip to content

Commit

Permalink
forgot bash-file is in wrong dir
Browse files Browse the repository at this point in the history
  • Loading branch information
sebasti810 committed Sep 17, 2024
1 parent d5187da commit fb17206
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions bash.sh → doc/bash.sh
Original file line number Diff line number Diff line change
@@ -1,8 +1,6 @@
#!/bin/bash
set -e

cd doc

# install mdbook
curl -Lo mdbook.tar.gz https://github.com/rust-lang/mdBook/releases/download/v0.4.32/mdbook-v0.4.32-x86_64-unknown-linux-musl.tar.gz
tar -xvzf mdbook.tar.gz
Expand Down

0 comments on commit fb17206

Please sign in to comment.