comparison 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
comparison
equal deleted inserted replaced
844:ee0404433fc3 845:b4f542b4f2e4
24 @echo 'Variables can be set on the commandline using the -e flag for make, e.g.' 24 @echo 'Variables can be set on the commandline using the -e flag for make, e.g.'
25 @echo ' make localdocs -e JULIA=path/to/julia' 25 @echo ' make localdocs -e JULIA=path/to/julia'
26 @echo 'or as shell environment variables.' 26 @echo 'or as shell environment variables.'
27 27
28 docs: 28 docs:
29 $(JULIA) --project=docs docs/make.jl --prettyurls 29 $(JULIA) --project=docs docs/make.jl --build-dir build --prettyurls
30 30
31 localdocs: 31 localdocs:
32 $(JULIA) --project=docs docs/make.jl 32 $(JULIA) --project=docs docs/make.jl --build-dir build-local
33 33
34 opendocs: 34 opendocs:
35 $(BROWSER) docs/build/index.html 35 $(BROWSER) docs/build-local/index.html
36 36
37 clean: 37 clean:
38 rm -r docs/build 38 rm -r docs/build
39 rm -r docs/build-local
39 40
40 .PHONY: help docs localdocs opendocs clean 41 .PHONY: help docs localdocs opendocs clean
41 42
42 # TODO: 43 # TODO:
43 # Make a real target for docs/build 44 # Make a real target for docs/build
44 # Possibly store the local and nonlocal in different build folders