Commit Graph

3 Commits

Author SHA1 Message Date
Matthew Flatt
1e81f0005a scribble/decode: add 'no-index to avoid part titles in index
Using 'no-index makes sense for a book, for example.
2017-10-09 08:34:23 -07:00
Matthew Flatt
af75ceeec3 scribble/decode: fix problems with end-of-file section starters
Closes #146
2017-10-09 07:04:45 -07:00
Sam Tobin-Hochstadt
a316fc12c0 Remove extra directories. 2014-12-02 00:54:52 -05:00