Skip to content

Commit

Permalink
Fix genquery documentation around the default ordering.
Browse files Browse the repository at this point in the history
  • Loading branch information
zhengwei143 committed Sep 21, 2023
1 parent 480b234 commit 702171d
Showing 1 changed file with 3 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -114,8 +114,9 @@ line is that queries containing wildcard target specifications (e.g.
is not allowed).
</p>
<p>
The genquery's output is ordered using <code>--order_output=full</code> in
order to enforce deterministic output.
The genquery's output is ordered lexicographically in order to enforce deterministic output,
with the exception of <code>--output=graph|minrank|maxrank</code> or when <code>somepath</code>
is used as the top-level function.
<p>
The name of the output file is the name of the rule.
</p>
Expand Down

0 comments on commit 702171d

Please sign in to comment.