changeset 839:d138a3e9fd67 feature/setup_documenter

Add a Makefile
author Jonatan Werpers <jonatan@werpers.com>
date Fri, 14 Jan 2022 09:49:25 +0100
parents 76e5682d0e52
children 221ce98d2612
files Makefile
diffstat 1 files changed, 16 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Makefile	Fri Jan 14 09:49:25 2022 +0100
@@ -0,0 +1,16 @@
+help:
+	@echo 'Targets:'
+	@echo '    help        - Show this help.'
+	@echo '    docs        - Generate docs for webserver deployment.'
+	@echo '    localdocs   - Generate docs for local viewing.'
+
+docs:
+	julia --project=docs --startup-file=no docs/make.jl
+
+localdocs:
+	julia --project=docs --startup-file=no docs/make.jl ## TODO
+
+clean:
+	rm -r docs/build
+
+.PHONY: help docs docs-local clean