comparison Makefile @ 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 23bce17a59cb
children ee0404433fc3
comparison
equal deleted inserted replaced
842:ef78f730cbb4 843:f4e67a74f923
1 JULIA=julia --startup-file=no
2
1 help: 3 help:
2 @echo 'Targets:' 4 @echo 'Targets:'
3 @echo ' help - Show this help.' 5 @echo ' help - Show this help.'
4 @echo ' docs - Generate docs for webserver deployment.' 6 @echo ' docs - Generate docs for webserver deployment.'
5 @echo ' localdocs - Generate docs for local viewing.' 7 @echo ' localdocs - Generate docs for local viewing.'
8 @echo ''
9 @echo 'Variables:'
10 @echo ' JULIA - Controls which command is used to run julia'
11 @echo ''
12 @echo 'Variables can be set on the commandline using the -e flag for make, e.g.'
13 @echo ' make localdocs -e JULIA=path/to/julia'
6 14
7 docs: 15 docs:
8 julia --project=docs --startup-file=no docs/make.jl --prettyurls 16 $(JULIA) --project=docs docs/make.jl --prettyurls
9 17
10 localdocs: 18 localdocs:
11 julia --project=docs --startup-file=no docs/make.jl 19 $(JULIA) --project=docs docs/make.jl
12 20
13 clean: 21 clean:
14 rm -r docs/build 22 rm -r docs/build
15 23
16 .PHONY: help docs docs-local clean 24 .PHONY: help docs docs-local clean