Section 8.4 Instructor's Notes
<commentary> element, as described above, can be used effectively by an individual instructor to customize a personal version of a book. This is not as fine-grained as highlights or annotations, so is not meant as a replacement for tools that support more localized personal additions.
The ideal way to do this would be with a text having source distributed as a git repository, and with notes managed by git. Here is a rough outline, assuming a solid understanding of git.
- Clone the author's repository to a local, personal, location.
- Make a long-lived
notesbranch off the author's
<commentary>with commits on the
- Regularly pull
masterfrom the original repository to receive updates and fixes from the author.
- Regularly merge
notesso the enhanced version gets the author's changes without changing
- Produce personalized output from the
notesbranch via PreTeXt as normal, with the switch enabling display of the