/goblins/doc/
/goblins/scribblings/compiled/
compiled/
/goblins/scribblings/racket.css
/goblins/scribblings/scribble.css
/goblins/scribblings/scribble-common.js
/goblins/scribblings/manual-fonts.css
/goblins/scribblings/manual-racket.css
/goblins/scribblings/manual-racket.js
/goblins/scribblings/manual-style.css
/goblins/scribblings/goblins.html
/goblins/scribblings/footnote.css
/goblins/scribblings/goblins.pdf
/goblins/scribblings/goblins/