{"shas":[["dc9593649eb36faa4b7d9bb88805f6c654107724","dadfdb91f82ac16ec4431c074a70efe679995f42@illinois.edu","improve Makefile so doc isn't always remade","Daniel R. Grayson"]],"ref":"refs/heads/master","size":1,"head":"dc9593649eb36faa4b7d9bb88805f6c654107724","push_id":34905233}