Mercurial > cpdt > repo
changeset 24:aba1a37394c4
Fix Makefile 'doc' target
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Mon, 08 Sep 2008 12:22:22 -0400 |
| parents | c8070689f5ca |
| children | 26ad686e68f2 |
| files | Makefile |
| diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/Makefile Fri Sep 05 16:48:13 2008 -0400 +++ b/Makefile Mon Sep 08 12:22:22 2008 -0400 @@ -1,5 +1,5 @@ MODULES_NODOC := Tactics -MODULES_PROSE := StackMachine +MODULES_PROSE := Intro MODULES_CODE := StackMachine MODULES_DOC := $(MODULES_PROSE) $(MODULES_CODE) MODULES := $(MODULES_NODOC) $(MODULES_DOC)