diff Makefile @ 841:23bce17a59cb feature/setup_documenter

Implement flag to controll pretty urls
author Jonatan Werpers <jonatan@werpers.com>
date Fri, 14 Jan 2022 09:59:41 +0100
parents d138a3e9fd67
children f4e67a74f923
line wrap: on
line diff
--- a/Makefile	Fri Jan 14 09:49:47 2022 +0100
+++ b/Makefile	Fri Jan 14 09:59:41 2022 +0100
@@ -5,10 +5,10 @@
 	@echo '    localdocs   - Generate docs for local viewing.'
 
 docs:
-	julia --project=docs --startup-file=no docs/make.jl
+	julia --project=docs --startup-file=no docs/make.jl --prettyurls
 
 localdocs:
-	julia --project=docs --startup-file=no docs/make.jl ## TODO
+	julia --project=docs --startup-file=no docs/make.jl
 
 clean:
 	rm -r docs/build