specifying target for deploy

[Alex-Jordan]

If I run pretext deploy, part of the terminal log is Since no target was supplied, we will use "html". (That being the name of my first target.)

OK, so how should I have supplied the target name? If I try pretext deploy html (analogous to pretext build html) then I get: Error: Got unexpected extra argument (html).

And if I do pretext deploy -t html, I get Error: No such option: -t.

pretext deploy --help says Usage: pretext deploy [OPTIONS] but then says

  Automatically deploys most recent build of [TARGET] to GitHub Pages, making
  it available to the general public. Requires that your project is under Git
  version control properly configured with GitHub and GitHub Pages. Deployed
  files will live in the gh-pages branch of your repository.

This latter part suggests the usage is meant to be Usage: pretext deploy [TARGET] [OPTIONS].

This is just a small observation right now, but if I had two targets I wanted to deploy (early determinants and late determinants?) then I would need to specify the deploy target somehow.