Skip to content

Commit

Permalink
addressing comments on installation
Browse files Browse the repository at this point in the history
  • Loading branch information
ZachJHansen authored and teiesti committed Nov 22, 2024
1 parent 63bc173 commit 474df22
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions res/manual/src/installation.md
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,7 @@ Linux users can build `anthem` directly from source, as follows.
```
git clone https://github.com/potassco/anthem.git && cd anthem
cargo build --release
cp anthem/target/release/anthem /usr/bin/
chmod +x /usr/bin/anthem
cp anthem/target/release/anthem ~/.local/bin
```

Note that you will also need a working installation of `vampire.`
Expand Down

0 comments on commit 474df22

Please sign in to comment.