diff --git a/docs/Makefile b/docs/Makefile index 84716be..cae3a1d 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -40,7 +40,7 @@ clean_api: clean: clean_api -rm -rf build/* dist/* - -cd $(SRCDIR)/config/options; cat generated | xargs -r rm -f + -cd $(SRCDIR)/config/options; test -f generated && cat generated | xargs rm -f -rm -rf $(SRCDIR)/config/options/generated -rm -f $(SRCDIR)/interactive/magics-generated.txt