Trying removal of custom build script

tlaplus-community · Jan 3, 2023 · c6091f6 · c6091f6
1 parent ae45482
commit c6091f6
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 26 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,15 +1,15 @@
 [package]
 name = "tlauc"
 description = "Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa"
-version = "0.1.0"
+version = "0.1.1"
 authors = ["Andrew Helwer <2n8rn1w1f@mozmail.com>"]
 repository = "https://github.com/tlaplus-community/tlauc"
 license = "MIT"
 readme = "README.md"
 keywords = ["tlaplus", "unicode"]
 categories = ["command-line-utilities", "text-editors"]
 edition = "2018"
-exclude = ["tests/corpus", ".github", ".gitignore", ".gitmodules"]
+exclude = ["tests", ".github", ".gitignore", ".gitmodules"]
 
 [dependencies]
 anyhow = "1.0.68"

diff --git a/README.md b/README.md
@@ -110,7 +110,6 @@ fn main() {
 ## Details
 
 TLA⁺ often has several ASCII symbols all representing the same operator (for example, `<=`, `=<`, and `\leq`); these will all map to the same Unicode symbol (`≤`), and when mapping back to ASCII the first ASCII symbol in the semicolon-separated CSV cell will be used (`<=`).
-Users may use this tool to convert their old ASCII TLA⁺ files to more-easily-read Unicode symbols, or convert their Unicode TLA⁺ files to ASCII for tools which cannot yet handle Unicode.
 
 The reason this program isn't just a simple search & replace is that blank space and column alignment matters for some TLA⁺ constructs, specifically conjunction and disjunction lists (henceforth called jlists):
 

diff --git a/build.rs b/build.rs