Skip to content

C
cpdt
Commit c86dc45f authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

Fix Makefile 'doc' target

parent 475c6b74
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 1 deletion
Makefile
View file @ c86dc45f
MODULES_NODOC := Tactics MODULES_NODOC := Tactics
MODULES_PROSE := StackMachine MODULES_PROSE := Intro
MODULES_CODE := StackMachine MODULES_CODE := StackMachine
MODULES_DOC := $(MODULES_PROSE) $(MODULES_CODE) MODULES_DOC := $(MODULES_PROSE) $(MODULES_CODE)
MODULES := $(MODULES_NODOC) $(MODULES_DOC) MODULES := $(MODULES_NODOC) $(MODULES_DOC)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment