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