Dominik Pantůček
7da79dd62b
Fix raised exception on erroneous thing-doc usage.
2019-09-25 13:32:30 -04:00
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
