Don't store these files in the repository, but *do* build and upload them to the documentation site (docs.ledgersmb.org).