Makefile: have "docs" subcommand write to correct subdirectory

5 years ago · d9c113b5ad
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -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