Skip to content

Commit

Permalink
Update Markdown files
Browse files Browse the repository at this point in the history
  • Loading branch information
github-actions[bot] committed Sep 16, 2024
1 parent 89ca81f commit c26df71
Show file tree
Hide file tree
Showing 2 changed files with 11 additions and 9 deletions.
12 changes: 7 additions & 5 deletions site/docs/src/eo-phi-normalizer/dataize.md
Original file line number Diff line number Diff line change
Expand Up @@ -32,11 +32,13 @@ eo-phi-normalizer dataize --help
```

```console
Usage: eo-phi-normalizer dataize [-r|--rules FILE] [FILE] [-d|--dependency-file FILE]
[-o|--output-file FILE] [--recursive] [--chain]
[--wrap-raw-bytes] [--tex] [--as-package]
[--minimize-stuck-terms] [--disable-atom ATOM_NAME]
[--enable-atom ATOM_NAME]
Usage: eo-phi-normalizer dataize [-r|--rules FILE] [FILE]
[-d|--dependency-file FILE]
[-o|--output-file FILE] [--recursive] [--chain]
[--wrap-raw-bytes] [--tex] [--as-package]
[--minimize-stuck-terms]
[--disable-atom ATOM_NAME]
[--enable-atom ATOM_NAME]

Dataize a PHI program.

Expand Down
8 changes: 4 additions & 4 deletions site/docs/src/eo-phi-normalizer/transform.md
Original file line number Diff line number Diff line change
Expand Up @@ -66,10 +66,10 @@ eo-phi-normalizer transform --help
```

```console
Usage: eo-phi-normalizer transform [-r|--rules FILE] [-c|--chain] [-j|--json] [--tex]
[-o|--output-file FILE] [-s|--single]
[--max-depth INT] [--max-growth-factor INT] [FILE]
[-d|--dependency-file FILE]
Usage: eo-phi-normalizer transform [-r|--rules FILE] [-c|--chain] [-j|--json]
[--tex] [-o|--output-file FILE] [-s|--single]
[--max-depth INT] [--max-growth-factor INT]
[FILE] [-d|--dependency-file FILE]

Transform a PHI program.

Expand Down

0 comments on commit c26df71

Please sign in to comment.