3 commits

Author	SHA1	Message	Date
Jon Schoning	332af3a218	update docset generator for purs 13.3	2019-09-29 17:36:43 -05:00
Jon Schoning	5fb235c531	simplify docset script	2019-02-06 19:34:43 -06:00
Jon Schoning	22310a99c4	add local docset generator	2019-02-06 09:55:49 -06:00