Enhancements for the scribble language (a documentation language based on Racket)
Go to file
Matthew Flatt dd7bd356d9 Scribble manual: make "Images" section in ToC be useful
Remove the "Images" section for `scribble/manual`, add an "Images"
section for `scribble/base`.

As suggested by Shriram.

original commit: 92e00de9f3a8257a5434ec15030d60241940483e
2014-11-26 06:47:28 -07:00
pkgs/scribble-pkgs Scribble manual: make "Images" section in ToC be useful 2014-11-26 06:47:28 -07:00