changeset 843:f4e67a74f923 feature/setup_documenter

Use a variable for the JULIA command to allow changing it
author Jonatan Werpers <jonatan@werpers.com>
date Fri, 14 Jan 2022 10:45:17 +0100
parents ef78f730cbb4
children ee0404433fc3
files Makefile
diffstat 1 files changed, 10 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile	Fri Jan 14 10:06:48 2022 +0100
+++ b/Makefile	Fri Jan 14 10:45:17 2022 +0100
@@ -1,14 +1,22 @@
+JULIA=julia --startup-file=no
+
 help:
 	@echo 'Targets:'
 	@echo '    help        - Show this help.'
 	@echo '    docs        - Generate docs for webserver deployment.'
 	@echo '    localdocs   - Generate docs for local viewing.'
+	@echo ''
+	@echo 'Variables:'
+	@echo '    JULIA       - Controls which command is used to run julia'
+	@echo ''
+	@echo 'Variables can be set on the commandline using the -e flag for make, e.g.'
+	@echo '    make localdocs -e JULIA=path/to/julia'
 
 docs:
-	julia --project=docs --startup-file=no docs/make.jl --prettyurls
+	$(JULIA) --project=docs docs/make.jl --prettyurls
 
 localdocs:
-	julia --project=docs --startup-file=no docs/make.jl
+	$(JULIA) --project=docs docs/make.jl
 
 clean:
 	rm -r docs/build