Replace `normalizer report` command with the `normalizer pipeline report` command

objectionary / eo-phi-normalizer

Command Line Normalizer and Rewriter of 𝜑-calculus Expressions (part of EOLANG family)

https://www.objectionary.com/eo-phi-normalizer/

MIT License

7 stars 2 forks source link

Replace `normalizer report` command with the `normalizer pipeline report` command #454

Closed deemp closed 2 months ago

deemp commented 2 months ago

Details

Currently, the normalizer report command uses the pipeline config file for report generation. Hence, this command should be moved into normalizer pipeline group of commands.

Subtasks

[x] Update the normalizer pipeline command
[x] Update normalizer report documentation
[x] Create a site subdirectory for normalizer pipeline commands
[x] Move normalizer report documentation there
[x] Update site docs config