diff --git a/docs/makefile.html b/docs/makefile.html index b35e5e9d..fc7a5e5c 100644 --- a/docs/makefile.html +++ b/docs/makefile.html @@ -38,10 +38,6 @@ all), so simply print a message and return.
ok:
Simple sanity checking.
-$(MIRROR)/doc:
, $(MIRROR)/tools:
and
-need-complete-mirror
Ensure that we have all the needed pieces of the archive.
-init: