Commit 142119d8 authored by Michael Hanus's avatar Michael Hanus
Browse files

Makefile improved

parent d0c56595
......@@ -36,11 +36,11 @@ install: CurryDoc
uninstall:
rm -f $(INSTALLBIN)
.PHONY: clean
clean:
$(CLEANCURRY)
rm -f CurryDoc
# generate executable for currydoc program:
CurryDoc: $(DEPS)
$(REPL) $(REPL_OPTS) :set path $(ANADIR) :load $@ :save :quit
.PHONY: clean
clean: uninstall
$(CLEANCURRY)
rm -f CurryDoc
Supports Markdown
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