diff --git a/Makefile b/Makefile index 4f38c3b..881b6e3 100644 --- a/Makefile +++ b/Makefile @@ -15,4 +15,4 @@ clean: doc: docs docs: - scribble +m --htmls goblins/scribblings/goblins.scrbl + scribble --dest goblins/doc +m --htmls goblins/scribblings/goblins.scrbl