Commit Graph

3 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
Matthew Flatt
5a752f5022 scribble/srcdoc: adjust shift to label phase
Use a technique that depends less on exactly what a shift to the
label phase means when additional bindings are introduced.
2015-02-25 21:05:15 -07:00
Sam Tobin-Hochstadt
a316fc12c0 Remove extra directories. 2014-12-02 00:54:52 -05:00