Oliver Beckstein 59a97680d8 make ghpages to push to gh-pages branch ...

- `make ghpages` will build the docs in docs/build/html and push it to an
  existing gh-pages branch; especially useful when building on a fork;
  you will have to initialize your gh-pages branch manually and enable
  docs on the gh-pages branch in the repo settings
- ignore build directories (top level build and docs/build)

2020-06-19 21:38:39 -07:00

165 B

Raw Blame History

View Raw