diff options
Diffstat (limited to 'doc/using')
| -rw-r--r-- | doc/using/CommandReference.rst | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/doc/using/CommandReference.rst b/doc/using/CommandReference.rst index 8b9209093..d3a263c54 100644 --- a/doc/using/CommandReference.rst +++ b/doc/using/CommandReference.rst @@ -64,7 +64,16 @@ File commands The following commands act on one or several files. These are not analyzed, therefore, they work even if a file has semantic errors. -.. index:: cmd file pretty printing +.. index:: cmd file format + +Format [``fmt``] +----------------------- + +.. option:: fmt <file> + +Format on the standard output the input file. + + .. index:: vhdl to html Pretty print [``--pp-html``] |