Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[doc] Removed book.html and book.pdf because html and pdf generation …
…is slightly broken. These are still easy to generate using make, for when the process is repaired. For now, refer to the documents on github.
- Loading branch information