diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 14 |
1 files changed, 13 insertions, 1 deletions
@@ -3,6 +3,7 @@ DOCBUILD=../doctools/webdocs/docbuild VERBOSE=--verbose FETCHTS=.fetch.ts +LOCALFETCH=.LocalFetch.ts all: help @@ -10,6 +11,7 @@ help: @echo "Usage:" @echo "- make clean: clean all generated files" @echo "- make fetch: fetch the site if necessary" + @echo "- make localFetch: fetch the site if necessary but use local file." @echo "- make build: build the site" @echo "- make push: push the built site" @echo "- make serve: serve the site" @@ -18,15 +20,25 @@ help: clean: $(DOCBUILD) $(VERBOSE) --clean rm -f $(FETCHTS) + rm -f $(LOCALFETCH) + +$(LOCALFETCH): $(wildcard site/_tocs/*/fetched_files.yml) + $(DOCBUILD) $(VERBOSE) --localFetch --fetch --force + touch $(FETCHTS) + touch $@ $(FETCHTS): $(wildcard site/_tocs/*/fetched_files.yml) - $(DOCBUILD) $(VERBOSE) --fetch --force + $(DOCBUILD) $(VERBOSE) $(LOCAL_FETCHTS) --fetch --force touch $@ .PHONY: fetch fetch: $(FETCHTS) @echo "Fetched files up to date." +.PHONY: localFetch +localFetch: $(LOCALFETCH) $(FETCHTS) + @echo "Fetched files up to date and copy local file." + .PHONY: build build: $(FETCHTS) $(DOCBUILD) $(VERBOSE) --build |