diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 18 |
1 files changed, 13 insertions, 5 deletions
@@ -2,11 +2,14 @@ DOCBUILD=../doctools/webdocs/docbuild VERBOSE=--verbose +FETCHTS=.fetch.ts + all: help help: @echo "Usage:" @echo "- make clean: clean all generated files" + @echo "- make fetch: fetch the site if necessary" @echo "- make build: build the site" @echo "- make push: push the built site" @echo "- make serve: serve the site" @@ -14,20 +17,25 @@ help: .PHONY: clean clean: $(DOCBUILD) $(VERBOSE) --clean + rm -f $(FETCHTS) + +$(FETCHTS): $(wildcard site/_tocs/*/fetched_files.yml) + $(DOCBUILD) $(VERBOSE) --fetch --force + touch $@ .PHONY: fetch -fetch: - $(DOCBUILD) $(VERBOSE) --fetch --force +fetch: $(FETCHTS) + @echo "Fetched files up to date." .PHONY: build -build: fetch +build: $(FETCHTS) $(DOCBUILD) $(VERBOSE) --build .PHONY: push -push: fetch +push: $(FETCHTS) $(DOCBUILD) $(VERBOSE) --build --push .PHONY: serve -serve: fetch +serve: $(FETCHTS) $(DOCBUILD) $(VERBOSE) --build --serve |