Update docs and makefile

This commit is contained in:
Zachary Yedidia
2016-08-27 22:00:56 -04:00
parent 0a3e2b3ff0
commit da7bc997ff
6 changed files with 37 additions and 22 deletions

File diff suppressed because one or more lines are too long