diff --git a/docs/commands.html b/docs/commands.html index b6b2fcfa7..e1ec8f8a3 100644 --- a/docs/commands.html +++ b/docs/commands.html @@ -416,19 +416,16 @@

>
  • - plz build //src/core:all builds every target - in. -
  • -
  • - src/core/BUILD. + + plz build //src/core:all builds every target in + src/core/BUILD. +
  • - plz build //src/... builds every target in - src and all subdirectories. + + plz build //src/... builds every target in + src and all subdirectories. +