comparison Makefile @ 839:d138a3e9fd67 feature/setup_documenter

Add a Makefile
author Jonatan Werpers <jonatan@werpers.com>
date Fri, 14 Jan 2022 09:49:25 +0100
parents
children 23bce17a59cb
comparison
equal deleted inserted replaced
838:76e5682d0e52 839:d138a3e9fd67
1 help:
2 @echo 'Targets:'
3 @echo ' help - Show this help.'
4 @echo ' docs - Generate docs for webserver deployment.'
5 @echo ' localdocs - Generate docs for local viewing.'
6
7 docs:
8 julia --project=docs --startup-file=no docs/make.jl
9
10 localdocs:
11 julia --project=docs --startup-file=no docs/make.jl ## TODO
12
13 clean:
14 rm -r docs/build
15
16 .PHONY: help docs docs-local clean