diff options
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -31,7 +31,7 @@ distclean: clean rm -fr $(DOCTOOLS) .PHONY: clean -clean: +clean: doctools $(DOCBUILD) $(VERBOSE) --clean rm -f $(FETCHTS) rm -f $(LOCALFETCH) |
index : docs-webtemplate | ||
webrendering | Grokmirror user |
aboutsummaryrefslogtreecommitdiffstats |
-rw-r--r-- | Makefile | 2 |
@@ -31,7 +31,7 @@ distclean: clean rm -fr $(DOCTOOLS) .PHONY: clean -clean: +clean: doctools $(DOCBUILD) $(VERBOSE) --clean rm -f $(FETCHTS) rm -f $(LOCALFETCH) |