Matthew Flatt 835ef02800 scribble: fix "on this page" rendering ... A recent change improved "on this page" handling and also fixed a short-circuit test to almost certainly do what was originally intended, but the test was wrong, so just get rid of it. original commit: 2d5884b26a8aa96cab469b31c8b4d16190f854a9		2013-02-18 17:34:16 -07: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 "on this page" rendering	2013-02-18 17:34:16 -07:00
scribblings/scribble	scribble: improve HTML handling of 'unnumbered and 'toc-hidden	2013-02-15 20:11:18 -07:00
scriblib	scriblib/figure: overhaul	2013-01-24 06:43:11 -05:00
tests	Scribble: add 'grouper and 'hidden-number part style properties	2013-02-01 10:15:53 -08:00