Add more cargo metadata, in prep for crates.io

Also, install process gets a bit simpler
verus-lang · Jan 29, 2024 · 4d6b8f1 · 4d6b8f1
1 parent 4baf89f
commit 4d6b8f1
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -4,6 +4,19 @@ version = "0.1.3"
 edition = "2021"
 autoexamples = false
 license = "MIT"
+description = "An opinionated formatter for Verus"
+homepage = "https://github.com/jaybosamiya/verusfmt"
+repository = "https://github.com/jaybosamiya/verusfmt"
+readme = "README.md"
+keywords = ["verus", "formatter", "pretty-printer"]
+categories = ["development-tools"]
+exclude = [
+    ".gitattributes",
+    ".github/",
+    "examples/",
+    "tests/",
+    "util/",
+]
 
 [dependencies]
 clap = { version = "4.3.11", features = ["derive"] }

diff --git a/README.md b/README.md
@@ -12,7 +12,7 @@ An opinionated formatter for [Verus] code.
 Install the latest version using:
 
 ``` sh
-cargo install --git https://github.com/jaybosamiya/verusfmt --locked
+cargo install verusfmt --locked
 ```
 
 This will install the `verusfmt` binary. You can then run it on a file using an