Matthew Flatt 76a79e3536 scribble: fix `--redirect{-main}' and non-HTML mode ... original commit: 4ac6a6b3e3d381bc0e20ecb19258cf8b520a8437		2013-05-07 12:00:13 -04:00
..
help	Revise commented code so it can replace exiting code without dependency issues.	2012-01-26 13:20:26 -05:00
scribble	scribble: fix `--redirect{-main}' and non-HTML mode	2013-05-07 12:00:13 -04:00
scribblings/scribble	scribble: fix `--redirect{-main}' and non-HTML mode	2013-05-07 12:00:13 -04:00
scriblib	scriblib/footnote: fix for non-Latex output	2013-03-29 07:23:49 -06:00
tests	scribble/manual: make `defmodule' more flexible	2013-04-30 09:36:48 -06:00