Blacklisted docs don’t need any dependency, since we don’t actually generate them.

This commit is contained in:
Simon Sapin 2014-08-04 17:04:18 +01:00
parent a2c6d23610
commit df1d4782dd

View file

@ -23,7 +23,7 @@ doc/$(1)/index.html: $$(DEPS_$(1)) $$(RUSTDOC_DEPS)
else
.PHONY: doc/$(1)/index.html
doc/$(1)/index.html: $$(DEPS_$(1))
doc/$(1)/index.html:
@echo SKIPPED: blacklisted rustdoc: $$@
endif