diff --git a/Makefile b/Makefile
index a07311ecd..faff73c1f 100644
--- a/Makefile
+++ b/Makefile
@@ -1024,7 +1024,7 @@ docs/source/generated/%.log: docs/source/generated $(TARGETS) $(EXTRA_TARGETS)
 	$(Q) ./$(PROGRAM_PREFIX)yosys -qQT -h '$*' -l $@
 
 docs/source/generated/chformal.cc: passes/cmds/chformal.cc docs/source/generated
-	cp $^ $@
+	$(Q) cp $< $@
 
 PHONY: docs/gen/chformal
 docs/gen/chformal: docs/source/generated/chformal.log docs/source/generated/chformal.cc