Commit cc095863dff627c05a6a2659ab37363f6dd5bdbf

humphreyj 2018-08-11T07:07:13

Add doc build directory to Makefile.