Commit bb17bc89 authored by Michael Hanus's avatar Michael Hanus
Browse files

Merge branch 'makefile_cdoc' into 'master'

Fix make cleanall failing on existing lib/CDOC/bt3 folder

See merge request curry/curry-libs!2
parents f37baa9e c4e9e176
......@@ -92,6 +92,7 @@ clean:
# clean all generated files
.PHONY: cleanall
rm -fr "$(LIBDOCDIR)"/bt3
rm -rf "$(LIBDOCDIR)"
rm -rf "$(TEXDOCDIR)"
rm -rf dist
......@@ -50,6 +50,7 @@ allsources:
# clean all generated files
.PHONY: clean
rm -fr "$(LIBDOCDIR)"/bt3
rm -f "$(LIBDOCDIR)"/*
rm -f "$(TEXDOCDIR)"/*
rm -fr .curry
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