It can be convenient to automatically re-generate documentation as the
source files are edited.  Add a make target for this.

Change-Id: Id3f26e0978bc50f5851200fb2c3d0fe94e2d4d41