To regenerate website content:
- Clone integrity repository.
- In integrity repository, run
rake html. - Copy
doc/buildfrom integrity repository to this repository:rsync -a /path/to/integrity/doc/build/ --exclude .git /path/to/integrity.github.com - Commit and push