diff Makefile @ 845:b4f542b4f2e4 feature/setup_documenter

Use two folders for local and webserver builds
author Jonatan Werpers <jonatan@werpers.com>
date Fri, 14 Jan 2022 11:56:18 +0100
parents ee0404433fc3
children c9e35f1ca269
line wrap: on
line diff
--- a/Makefile	Fri Jan 14 11:33:25 2022 +0100
+++ b/Makefile	Fri Jan 14 11:56:18 2022 +0100
@@ -26,19 +26,19 @@
 	@echo 'or as shell environment variables.'
 
 docs:
-	$(JULIA) --project=docs docs/make.jl --prettyurls
+	$(JULIA) --project=docs docs/make.jl --build-dir build --prettyurls
 
 localdocs:
-	$(JULIA) --project=docs docs/make.jl
+	$(JULIA) --project=docs docs/make.jl --build-dir build-local
 
 opendocs:
-	$(BROWSER) docs/build/index.html
+	$(BROWSER) docs/build-local/index.html
 
 clean:
 	rm -r docs/build
+	rm -r docs/build-local
 
 .PHONY: help docs localdocs opendocs clean
 
 # TODO:
 # Make a real target for docs/build
-# Possibly store the local and nonlocal in different build folders