2 Commits

Author	SHA1	Message	Date
Matthew Flatt	6d440f5a6b	fix more problems with a generated doc submodule ... One problem involved context that should not be included in a generated submodule, while another one was an issue with the previous repair to the shift to label phase.	2015-07-16 08:40:04 -06:00
Sam Tobin-Hochstadt	a316fc12c0	Remove extra directories.	2014-12-02 00:54:52 -05:00